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 - L D Zuck - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540003489 - 2002. gada 13. decembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 19. - 27. okt.
Saņemiet paziņojumus par jauniem L D Zuck izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2002. gada 13. decembris
ISBN13 9783540003489
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 328
Izmēri 155 × 233 × 18 mm   ·   798 g
Valoda Vācu  
Redaktors Attie, Paul D.
Redaktors Cortesi, Agostino
Redaktors Mukhopadhyay, Supratik
Redaktors Zuck, Lenore D.

Vairāk no tā paša izdevēja

Skatīt visus L D Zuck