Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions - Lecture Notes in Computer Science - Bertrand Meyer - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540691471 - maanantai 7. heinäkuuta 2008
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions - Lecture Notes in Computer Science 2008 edition

Bertrand Meyer

Hinta
zł 432,90

Tilattu etävarastosta

Arvioitu toimitus ke - to 22. - 30. loka

Asiakkaamme sanovat:

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

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions - Lecture Notes in Computer Science 2008 edition

A Step Towards Verified Software Worries about the reliability of software are as old as software itself;

574 pages, 1, black & white illustrations

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 7. heinäkuuta 2008
ISBN13 9783540691471
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 546
Mitta 155 × 235 × 29 mm   ·   839 g
Kieli German  
Toimittaja Meyer, Bertrand
Toimittaja Woodcock, Jim
Näytä kaikki

Lisää tuotteita Bertrand Meyer

Katso kaikki joka sisältää Bertrand Meyer ( Esim. Paperback Book , Hardcover Book Ja Book )