Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proc - Parosh Aziz Abdulla - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642198342 - perjantai 18. maaliskuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proc

Parosh Aziz Abdulla

Kirjaudu sisään saadaksesi viestin kun tuotetta on jälleen saatavilla

Asiakkaamme sanovat:

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

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proc

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrucken, Germany, March 26-April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.

410 pages, 104 black & white illustrations, 30 colour illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 18. maaliskuuta 2011
ISBN13 9783642198342
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 394
Mitta 155 × 235 × 23 mm   ·   612 g
Kieli French  
Toimittaja Abdulla, Parosh Aziz
Toimittaja Leino, K. Rustan M.
Näytä kaikki

Lisää tuotteita Parosh Aziz Abdulla

Katso kaikki joka sisältää Parosh Aziz Abdulla ( Esim. Paperback Book )