![Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science - Rajeev Alur - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540223429 - 29 czerwca 2004](https://imusic.b-cdn.net/images/item/original/429/9783540223429.jpg?rajeev-alur-2004-computer-aided-verification-16th-international-conference-cav-2004-boston-ma-usa-july-13-17-2004-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1611681129)
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
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. |