
Vertel uw vrienden over dit artikel:
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition
L D Zuck
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition
L D Zuck
This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003.
340 pages, biography
Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
Vrijgegeven | 13 december 2002 |
ISBN13 | 9783540003489 |
Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
Pagina's | 328 |
Afmetingen | 155 × 233 × 18 mm · 798 g |
Taal en grammatica | Duits |
Uitgever | Attie, Paul D. |
Uitgever | Cortesi, Agostino |
Uitgever | Mukhopadhyay, Supratik |
Uitgever | Zuck, Lenore D. |
Bekijk alles van L D Zuck ( bijv. Paperback Book )