Powiedz znajomym o tym przedmiocie:
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
Cena
zł 498,90
Zamówione z odległego magazynu
Przewidywana dostawa 8 - 18 paź
Nasi klienci mówią:
Dodaj do swojej listy życzeń iMusic
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 | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 29 czerwca 2004 |
| ISBN13 | 9783540223429 |
| Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
| Strony | 536 |
| Wymiary | 155 × 233 × 28 mm · 811 g |
| Język | German |
| Redaktor | Alur, Rajeev |
| Redaktor | Peled, Doron A. |
