Model Checking Software
Springer International Publishing AG, 2015
66,50 €On orderDelivery: 2-3 weeks
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions.
- ISBN-13
- 9783319234038
- ISBN-10
- 331923403X
- Publisher
- Springer International Publishing AG
- Year
- 2015
- Publication date
- 2015-09-03
- Pages
- 319
- Dimensions
- 235x155x