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øger - Springer-Verlag Berlin and Heidelberg Gm - 9783642182747 - 11. januar 2011
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Login for at blive underrettet når varen er tilgængelig igen

Vores kunder siger:

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 11. januar 2011
ISBN13 9783642182747
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 419
Mål 155 × 235 × 23 mm   ·   657 g
Sprog Fransk  
Klipper/redaktør Jhala, Ranjit
Klipper/redaktør Schmidt, David
Vis alle

Mere med Ranjit Jhala

Se alt med Ranjit Jhala ( f.eks. Paperback Bog )