Cover of Computer Aided Verification by Weissenbacher, Georg, Chockler, Hana, ISBN 9781013270994
Computer Science

Computer Aided Verification

Contributor(s): Author , Author Format: Hardback

Hardback Β· ISBN 9781013270994

β‚Ή7,597 13%
β‚Ή8,766

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 9781013270994
Publisher Saint Philip Street Press
Publication date October 2020
Language English
MRP Β£67.95 GBP
Page count 710
Item weight 422 g

Computer Aided Verification published by Saint Philip Street Press.