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 |
A nice touch in this textbook is the timeline of major discoveries in the field.
Related Items
RNotes®: Nurse’s Clinical Pocket Guide, Myers RN BSN, Ehren, Good Book
Hackett Classics Ser.: Plato on Love : Lysis, Symposium, Phaedrus,…
Thought Access by Ahmed, Idil, Brand New, Free shipping in the US
Matrix Mathematics: Theory, – Paperback, by Bernstein Dennis S. – Acceptable
PSYCHOLOGY and LIFE 3rd Ed. Floyd Ruch HB Text Book 1948 Illustrated 782 pages.
The Myth of Quetzalcoatl | Enrique Florescano (1999) HCDJ *NM/LN*
The Reading Strategies Book Jennifer Serravallo 300 Strategies Heinemann NEW
The 1912 Milwaukee Races: Vanderbilt Cup and Grand Prize by Joel E. Finn