Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Lecture Notes in Computer Science - Tevfik Bultan - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642243714 - keskiviikko 21. syyskuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Lecture Notes in Computer Science

Tevfik Bultan

Hinta
₪ 236,50

Tilattu etävarastosta

Arvioitu toimitus to 30. loka - ma 10. marras

Asiakkaamme sanovat:

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

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Lecture Notes in Computer Science

Constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. This book includes the papers addressing theoretical and practical aspects of automated analysis, verification and synthesis.

548 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 21. syyskuuta 2011
ISBN13 9783642243714
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 532
Mitta 155 × 235 × 30 mm   ·   771 g
Kieli French  
Toimittaja Bultan, Tevfik
Toimittaja Hsiung, Pao-Ann
Näytä kaikki

Lisää tuotteita Tevfik Bultan

Katso kaikki joka sisältää Tevfik Bultan ( Esim. Paperback Book Ja Hardcover Book )