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 - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540003489 - 13. desember 2002
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 569

Bestillingsvarer

Forventes levert 23. - 31. jul

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
Eller

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

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 13. desember 2002
ISBN13 9783540003489
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 328
Mål 155 × 233 × 18 mm   ·   798 g
Språk Tysk  
Redaktør Attie, Paul D.
Redaktør Cortesi, Agostino
Redaktør Mukhopadhyay, Supratik
Redaktør Zuck, Lenore D.

Se alt med L D Zuck ( f.eks. Pocketbok )