Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783319901039
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China, in November 2017. The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. model checking;
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2018 ed. |
| Udgivelsesdato | 18-04-2018 |
| Første udgivelsesår | 2018 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 66 Illustrations, black and white; X, 219 p. 66 illus. |
| Fagredaktør | Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan |
| Originalsprog | Switzerland |
| Sideantal | 219 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 219 pages, 66 Illustrations, black and white; X, 219 p. 66 illus. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783319901039 |