Pastāsti draugiem par šo preci:
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.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2018. gada 18. aprīlis |
| ISBN13 | 9783319901039 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 219 |
| Izmēri | 156 × 233 × 15 mm · 358 g |
| Valoda | Vācu |
| Redaktors | Duan, Zhenhua |
| Redaktors | Liu, Shaoying |
| Redaktors | Nagoya, Fumiko |
| Redaktors | Tian, Cong |