Cover of Abstraction Refinement for Large Scale Model Checking by Wang, Chao, Hachtel, Gary D., Somenzi, Fabio, ISBN 9780387341552
CAD-CAM

Abstraction Refinement for Large Scale Model Checking

ABSTRACTION REFINEMENT FOR LAR

Contributor(s): Author , Author , Author Format: Hardback

Hardback Β· ISBN 9780387341552

β‚Ή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 9780387341552
Subtitle ABSTRACTION REFINEMENT FOR LAR
Publisher Springer
Publication date July 2006
Language English
MRP Β£89.99 GBP
Page count 196
Item weight 100 g

Abstraction Refinement for Large Scale Model Checking published by Springer.