Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings - Programming and Software Engineering - Sungdeok Cha - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540883869 - maanantai 6. lokakuuta 2008
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings - Programming and Software Engineering 2008 edition

Sungdeok Cha

Hinta
A$ 94,04

Tilattu etävarastosta

Arvioitu toimitus ke - to 12. - 20. marras
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings - Programming and Software Engineering 2008 edition

The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.

430 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 6. lokakuuta 2008
ISBN13 9783540883869
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 430
Mitta 155 × 235 × 23 mm   ·   657 g
Kieli French  
Toimittaja Cha, Sungdeok
Toimittaja Choi, Jin-Young
Toimittaja Kim, Moonzoo
Toimittaja Viswanathan, Mahesh

Katso kaikki joka sisältää Sungdeok Cha ( Esim. Paperback Book )