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øger - Springer-Verlag Berlin and Heidelberg Gm - 9783540003489 - 13. december 2002
Ved uoverensstemmelse mellem cover og titel gælder titel

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
R$ 399,88

Bestilles fra fjernlager

Forventes klar til forsendelse 22. - 28. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 13. december 2002
ISBN13 9783540003489
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 328
Mål 155 × 233 × 18 mm   ·   798 g
Sprog Tysk  
Klipper/redaktør Attie, Paul D.
Klipper/redaktør Cortesi, Agostino
Klipper/redaktør Mukhopadhyay, Supratik
Klipper/redaktør Zuck, Lenore D.

Se alt med L D Zuck ( f.eks. Paperback Bog )