Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee - Kurt Jensen - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540212997 - torstai 18. maaliskuuta 2004
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Kurt Jensen
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee 2004 edition

Hinta
€ 101,49

Tilattu etävarastosta

Arvioitu toimitus to - pe 4. - 12. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004).

614 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 18. maaliskuuta 2004
ISBN13 9783540212997
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 614
Mitta 155 × 235 × 32 mm   ·   1,43 kg
Kieli Saksa  
Toimittaja Jensen, Kurt
Toimittaja Podelski, Andreas
Näytä kaikki

Lisää tuotteita Kurt Jensen

Katso kaikki joka sisältää Kurt Jensen ( Esim. Paperback Book , Hardcover Book Ja Loose-leaf )