Tell your friends about this item:
Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science Radhia Cousot 2005 edition
Price
Kč 1,163
excl. VAT
Ordered from remote warehouse
Expected delivery Dec 8 - 18
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science
Radhia Cousot
483 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | January 13, 2005 |
| ISBN13 | 9783540242970 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 483 |
| Dimensions | 155 × 235 × 25 mm · 693 g |
| Language | German |
| Editor | Cousot, Radhia |
