Tipsa dina vänner om produkten:
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
Pris
SEK 1.319
Beställningsvara
Förväntad leverans 10 - 22 okt
Lägg till din iMusic-önskelista
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 | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 29 juni 2004 |
| ISBN13 | 9783540223429 |
| Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sidor | 536 |
| Mått | 155 × 233 × 28 mm · 811 g |
| Språk | Tyska |
| Redaktör | Alur, Rajeev |
| Redaktör | Peled, Doron A. |
