Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings - Lecture Notes in Computer Science - Madhavan Mukund - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642333859 - torstai 16. elokuuta 2012
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings - Lecture Notes in Computer Science 2012 edition

Madhavan Mukund

Hinta
₪ 201,30

Tilattu etävarastosta

Arvioitu toimitus pe 31. loka - ma 10. marras

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings - Lecture Notes in Computer Science 2012 edition

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012.

440 pages, 106 black & white illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 16. elokuuta 2012
ISBN13 9783642333859
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Sivujen määrä 438
Mitta 155 × 235 × 23 mm   ·   625 g
Kieli German  
Toimittaja Chakraborty, Supratik
Toimittaja Mukund, Madhavan

Katso kaikki joka sisältää Madhavan Mukund ( Esim. Paperback Book )