Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Lec - Hubert Garavel - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540008989 - perjantai 14. maaliskuuta 2003
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Lec 2003 edition

Hubert Garavel

Hinta
NZD 198,55

Tilattu etävarastosta

Arvioitu toimitus ti 29. heinä - ke 6. elo
Lisää iMusic-toivelistallesi
Eller

Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Lec 2003 edition

604 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 14. maaliskuuta 2003
ISBN13 9783540008989
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 604
Mitta 155 × 233 × 32 mm   ·   1,43 kg
Kieli German  
Toimittaja Garavel, Hubert
Toimittaja Hatcliff, John