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

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

Hinta
DKK 465,52

Tilattu etävarastosta

Arvioitu toimitus pe - ti 5. - 16. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

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 Ranska  
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 )