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

Computer Aided Verification

Contributor(s): Author , Author Format: Paperback

Paperback Β· ISBN 9781013270987

β‚Ή7,038 13%
β‚Ή8,121

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

Computer Aided Verification published by Saint Philip Street Press.