The book is currently out of stock
Model Checking Software
22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Authors
Parameters
Book purchase
Model Checking Software, Bernd Fischer
- Language
- Released
- 2015
We’ll notify you via email once we track it down.
Payment methods
- Title
- Model Checking Software
- Subtitle
- 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
- Language
- English
- Authors
- Bernd Fischer
- Publisher
- Springer-Verlag GmbH
- Publisher
- 2015
- ISBN10
- 331923403X
- ISBN13
- 9783319234038