Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Name: Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Brand: Springer International Publishing
SKU: 9783319941103
Price: 54.99 USD
Availability: OutOfStock