Cover of Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. P by Jobstmann, Barbara, Leino, K. Rustan M., ISBN 9783662491218
Computer Science

Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. P

Contributor(s): Editor , Editor Format: Paperback

Paperback ยท ISBN 9783662491218

โ‚น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 9783662491218
Publisher Springer
Publication date December 2015
Language English
MRP ยฃ44.99 GBP
Page count 574
Item weight 175 g

Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. P published by Springer.