Cover of Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings by Bartocci, Ezio, Ramakrishnan, C. R., ISBN 9783642391750
Compilers

Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

MODEL CHECKING SOFTWARE 2013/E

Contributor(s): Editor , Editor Format: Paperback

Paperback ยท ISBN 9783642391750

โ‚น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 9783642391750
Subtitle MODEL CHECKING SOFTWARE 2013/E
Publisher Springer
Publication date July 2013
Language English
MRP ยฃ44.99 GBP
Page count 388
Item weight 120 g

Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings published by Springer.