Vertel uw vrienden over dit artikel:
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
Prijs
€ 119,99
Besteld in een afgelegen magazijn
Verwachte levering 11 - 23 okt.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 29 juni 2004 |
| ISBN13 | 9783540223429 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 536 |
| Afmetingen | 155 × 233 × 28 mm · 811 g |
| Taal en grammatica | Duits |
| Uitgever | Alur, Rajeev |
| Uitgever | Peled, Doron A. |
