Cover of SAT-Based Scalable Formal Verification Solutions by Ganai, Malay, Gupta, Aarti, ISBN 9780387691664
CAD-CAM

SAT-Based Scalable Formal Verification Solutions

SAT-BASED SCALABLE FORMAL VERI

Contributor(s): Author , Author Format: Hardback

Hardback ยท ISBN 9780387691664

โ‚น16,396 2%
โ‚น16,769

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 9780387691664
Subtitle SAT-BASED SCALABLE FORMAL VERI
Publisher Springer
Publication date August 2007
Language English
MRP ยฃ129.99 GBP
Page count 360
Item weight 150 g

SAT-Based Scalable Formal Verification Solutions published by Springer.