Cover of Computer Aided Verification : 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings by Larsen, Kim G., Skou, Arne, ISBN 9783540551799
Logic

Computer Aided Verification : 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings

COMPUTER AIDED VERIFICATION 19

Contributor(s): Editor , Editor Format: Paperback

Paperback ยท ISBN 9783540551799

โ‚น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 9783540551799
Subtitle COMPUTER AIDED VERIFICATION 19
Publisher Springer
Publication date April 1992
Language English
MRP ยฃ44.99 GBP
Page count 508
Item weight 156 g

Computer Aided Verification : 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings published by Springer.