Computer Aided Verification : Fourth International Workshop, CAV
Computer Aided Verification : Fourth International Workshop, CAV
USD 60.01 USD
Specifications
| Features | EX-LIBRARY |
| ISBN | 9783540564966 |
| Item Length | 9.2 in |
| Publication Year | 1993 |
| Type | Textbook |
| Format | Trade Paperback |
| Language | English |
| Author | D.K. Probst |
| Item Weight | 48.3 Oz |
| Item Width | 6.1 in |
| Number Of Pages | IX, 426 Pages |
Book
Related Items
Crockett’s Victory Garden by James U. Crockett 1977 Paperback 326 Pages
Revised Standard Version Text 1971 Black Compact Hardcover Collins & Sons 1958
The Five People You Meet in Heaven – Paperback By Albom, Mitch – GOOD
Peter McLaren Life in Schools (Paperback) (UK IMPORT)
The Three Bears #302–Cloth/Linenette Pages-1911
The Word in Life Study Bible NKJV Burgundy Bonded Leather – LIKE NEW
The Book Of Mormon Made Easier Pt 1-3 PB Lot David Ridges
GBBO HOW TO BAKE Collister, Linda|Berry, Mary|Hollywood, Paul hardcover Acce…