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 - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642182747 - tiistai 11. tammikuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Kirjaudu sisään saadaksesi viestin kun tuotetta on jälleen saatavilla

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 11. tammikuuta 2011
ISBN13 9783642182747
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 419
Mitta 155 × 235 × 23 mm   ·   657 g
Kieli French  
Toimittaja Jhala, Ranjit
Toimittaja Schmidt, David
Näytä kaikki

Lisää tuotteita Ranjit Jhala

Katso kaikki joka sisältää Ranjit Jhala ( Esim. Paperback Book )