Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings - Lecture Notes in Computer Science - Ranjit Jhala - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783642182747 - 11. januar 2011
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings - Lecture Notes in Computer Science 2011 edition

Ranjit Jhala

Logg på for å få beskjed når varen er tilgjengelig igjen

Kundene våre sier:

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

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings - Lecture Notes in Computer Science 2011 edition

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011.

430 pages, 79 black & white illustrations, 11 colour illustrations, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 11. januar 2011
ISBN13 9783642182747
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 419
Mål 155 × 235 × 23 mm   ·   657 g
Språk Fransk  
Redaktør Jhala, Ranjit
Redaktør Schmidt, David
Vis alle

Mer med Ranjit Jhala

Se alt med Ranjit Jhala ( f.eks. Pocketbok )