Tell your friends about this item:
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science 2004 edition
Rajeev Alur
Price
CA$ 170.49
Ordered from remote warehouse
Expected delivery Dec 4 - 17
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science 2004 edition
Rajeev Alur
536 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | June 29, 2004 |
| ISBN13 | 9783540223429 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 536 |
| Dimensions | 155 × 233 × 28 mm · 811 g |
| Language | German |
| Editor | Alur, Rajeev |
| Editor | Peled, Doron A. |
