Cover of Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings by Neele, Thomas, Wijs, Anton, ISBN 9783031661488
Artificial Intelligence

Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

Contributor(s): Editor , Editor Format: Paperback

Paperback ยท ISBN 9783031661488

โ‚น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 9783031661488
Publisher Springer
Publication date November 2024
Language English
MRP ยฃ44.99 GBP
Page count 286
Item weight 89 g

Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings published by Springer.