Vertel uw vrienden over dit artikel:
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.
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 18 april 2018 |
| ISBN13 | 9783319901039 |
| Uitgevers | Springer International Publishing AG |
| Pagina's | 219 |
| Afmetingen | 156 × 233 × 15 mm · 358 g |
| Taal en grammatica | Duits |
| Uitgever | Duan, Zhenhua |
| Uitgever | Liu, Shaoying |
| Uitgever | Nagoya, Fumiko |
| Uitgever | Tian, Cong |