Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh,
USD 90.73 USD
Specifications
| Publication Date | 2005-06-24 |
| Pages | 568 |
| ISBN | 9783540272311 |
| Item Length | 9.3 in |
| Publication Year | 2005 |
| Type | Textbook |
| Format | Trade Paperback |
| Language | English |
| Author | Sriram K. Rajamani |
| Item Weight | 63.5 Oz |
| Item Width | 6.1 in |
| Number Of Pages | Xvi, 568 Pages |
This textbook covers both theory and hands-on exercises in equal measure.
Related Items
Constitutional Law by Erwin Chemerinsky
Texas Math TEKS Course 3 – Paperback, by McGraw-Hill Education – Acceptable
Modern Livestock & Poultry Production, 9th Student Edition by Frank Flanders
Learners & Pedagogy
Solid-State Microwave Amplifier Design
The Wealth Paradox: Economic P – VERY GOOD
Clinical Handbook of Psychological Disorders: A Step-by-Step Trea – VERY GOOD
Berossos and Manetho, Introduced and Translated : Native Traditions in Ancien…