Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science - Bernhard Steffen - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540208037 - 7. januar 2004
Ved uoverensstemmelse mellem cover og titel gælder titel

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science

Bernhard Steffen

Pris
€ 59,99

Bestilles fra fjernlager

Forventes klar til forsendelse 15. - 21. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.

325 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 7. januar 2004
ISBN13 9783540208037
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 325
Mål 156 × 234 × 18 mm   ·   480 g
Sprog Tysk  
Vis alle

Mere med Bernhard Steffen

Se alt med Bernhard Steffen ( f.eks. Paperback Bog og Hardcover bog )