Recomienda este artículo a tus amigos:
Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers - Lecture Notes in Computer Science 2018 edition
Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers - Lecture Notes in Computer Science
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;
219 pages, 66 Illustrations, black and white; X, 219 p. 66 illus.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 18 de abril de 2018 |
| ISBN13 | 9783319901039 |
| Editores | Springer International Publishing AG |
| Páginas | 219 |
| Dimensiones | 156 × 233 × 15 mm · 358 g |
| Lengua | Alemán |
| Editor | Duan, Zhenhua |
| Editor | Liu, Shaoying |
| Editor | Nagoya, Fumiko |
| Editor | Tian, Cong |