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 |
I like that this textbook includes practice problems with full answer keys.