Tallenna
Structured Object-Oriented Formal Language and Method
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;
- Alaotsikko
- 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
- Toimittaja
- Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
- Painos
- 2018 ed.
- ISBN
- 9783319901039
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 18.4.2018
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 219
