Cover of Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedin by Logozzo, Francesco, Peled, Doron A., Zuck, Leonore D., ISBN 9783540781622
General

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedin

VERIFICATION MODEL CHECKING &

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

Paperback ยท ISBN 9783540781622

โ‚น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 9783540781622
Subtitle VERIFICATION MODEL CHECKING &
Publisher Springer
Publication date February 2008
Language English
MRP ยฃ44.99 GBP
Page count 342
Item weight 106 g

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedin published by Springer.