Cover of Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings by Legunsen, Owolabi, Rosu, Grigore, ISBN 9783031150760
Artificial Intelligence

Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Contributor(s): Editor , Editor Format: Paperback

Paperback ยท ISBN 9783031150760

โ‚น11,351 2%
โ‚น11,609

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 9783031150760
Publisher Springer
Publication date August 2022
Language English
MRP ยฃ89.99 GBP
Page count 168
Item weight 54 g

Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings published by Springer.