Structured object-oriented formal language and method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers / Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan (eds.).
This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and sele...
Full description
Saved in:
Bibliographic Details
| Corporate Author: |
SOFL+MSVL (Workshop) Shenzhen, China) |
|---|
| Other Authors: |
Miao, Huaikou, 1953-,
Tian, Cong,
Liu, Shaoying, 1960-,
Duan, Zhenhua |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Cham :
Springer,
2020.
|
|---|
| Series: | Lecture notes in computer science ;
12028.
LNCS sublibrary. Theoretical computer science and general issues.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click for online access
|
|---|