Model Checking Software
Springer International Publishing AG, 2018
66,50 €On orderDelivery: 2-3 weeks
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. formal analysis for modeling languages, such as UML/state charts;
- ISBN-13
- 9783319941103
- ISBN-10
- 3319941100
- Publisher
- Springer International Publishing AG
- Year
- 2018
- Publication date
- 2018-06-17
- Pages
- 347
- Dimensions
- 234x155x22
- Weight
- 546