Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings - S Graf - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540672821 - keskiviikko 15. maaliskuuta 2000
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

S Graf

Hinta
€ 127,99

Tilattu etävarastosta

Arvioitu toimitus ti - to 10. - 19. joulu
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

552 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 15. maaliskuuta 2000
ISBN13 9783540672821
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 552
Mitta 155 × 233 × 29 mm   ·   1,31 kg