Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings - Th - Javier Esparza - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642120015 - keskiviikko 17. maaliskuuta 2010
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings - Th

Javier Esparza

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 17. - 25. syys

Asiakkaamme sanovat:

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

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings - Th

Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

464 pages, 102 black & white illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 17. maaliskuuta 2010
ISBN13 9783642120015
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 468
Mitta 155 × 234 × 25 mm   ·   725 g
Kieli German  
Toimittaja Esparza, Javier
Toimittaja Majumdar, Rupak
Näytä kaikki

Lisää tuotteita Javier Esparza

Katso kaikki joka sisältää Javier Esparza ( Esim. Paperback Book Ja Hardcover Book )