Cover of Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings by D'Souza, Deepak, Lal, Akash, Larsen, Kim Guldstrand, ISBN 9783662460801
Computer Science

Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

VERIFICATION MODEL CHECKING &

Contributor(s): Editor , Editor , Editor Format: Paperback

Paperback ยท ISBN 9783662460801

โ‚น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 9783662460801
Subtitle VERIFICATION MODEL CHECKING &
Publisher Springer
Publication date January 2015
Language English
MRP ยฃ44.99 GBP
Page count 488
Item weight 150 g

Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings published by Springer.