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øker - Springer-Verlag Berlin and Heidelberg Gm - 9783540208037 - 7. januar 2004
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
zł 203,90

Bestillingsvarer

Forventes levert 14. - 22. jul

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 7. januar 2004
ISBN13 9783540208037
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 325
Mål 156 × 234 × 18 mm   ·   480 g
Språk Tysk  
Vis alle

Mer med Bernhard Steffen

Se alt med Bernhard Steffen ( f.eks. Pocketbok og Innbunden bok )