Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu - Christel Baier - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783662466803 - keskiviikko 8. huhtikuuta 2015
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu 2015 edition

Christel Baier

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 5. - 13. marras
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu 2015 edition

The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions.

725 pages, 210 black & white illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 8. huhtikuuta 2015
ISBN13 9783662466803
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 725
Mitta 155 × 235 × 38 mm   ·   1,03 kg
Kieli French  
Toimittaja Baier, Christel
Toimittaja Tinelli, Cesare
Näytä kaikki

Lisää tuotteita Christel Baier

Katso kaikki joka sisältää Christel Baier ( Esim. Paperback Book Ja Hardcover Book )