Cover of Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings by Gallardo, María del Mar, Merino, Pedro, ISBN 9783319941103
Compilers

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

Contributor(s): Editor , Editor Format: Paperback

Paperback · ISBN 9783319941103

₹5,675 2%
₹5,804

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9783319941103
Publisher Springer
Publication date June 2018
Language English
MRP £44.99 GBP
Page count 364
Item weight 113 g

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