Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Theoretical Computer Science and General Issues - Byron Cook - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540697350 - 3. januar 2007
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Theoretical Computer Science and General Issues 2007 edition

Byron Cook

Pris
NOK 559

Bestillingsvarer

Forventes levert 17. - 25. nov
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

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

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Theoretical Computer Science and General Issues 2007 edition

Constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007.

395 pages, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 3. januar 2007
ISBN13 9783540697350
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 395
Mål 155 × 235 × 21 mm   ·   612 g
Språk Tysk  
Redaktør Cook, Byron
Redaktør Podelski, Andreas

Se alt med Byron Cook ( f.eks. Pocketbok )