Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Theo - Nir Piterman - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642367410 - keskiviikko 20. helmikuuta 2013
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Theo 2013 edition

Nir Piterman

Hinta
€ 64,49

Tilattu etävarastosta

Arvioitu toimitus ti - pe 15. - 25. loka

Asiakkaamme sanovat:

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

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Theo 2013 edition

This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. runtime verification and model checking; timed automata; explicit-state model checking; Buchi automata;

650 pages, 137 black & white illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 20. helmikuuta 2013
ISBN13 9783642367410
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Sivujen määrä 646
Mitta 155 × 235 × 34 mm   ·   925 g
Kieli French  
Toimittaja Piterman, Nir
Toimittaja Smolka, Scott
Näytä kaikki

Lisää tuotteita Nir Piterman

Katso kaikki joka sisältää Nir Piterman ( Esim. Paperback Book )