Cover of Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings by Caltais, Georgiana, Schilling, Christian, ISBN 9783031321580
Artificial Intelligence

Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Contributor(s): Editor , Editor Format: Paperback

Paperback · ISBN 9783031321580

₹5,044 2%
₹5,159

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 9783031321580
Publisher Springer
Publication date May 2023
Language English
MRP £39.99 GBP
Page count 212
Item weight 67 g

Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings published by Springer.