
Fortæl dine venner om denne vare:
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
Pris
CA$ 188,11
Bestilles fra fjernlager
Forventes klar til forsendelse 28. okt. - 3. nov.
Tilføj til din iMusic ønskeseddel
eller
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
A Step Towards Verified Software Worries about the reliability of software are as old as software itself;
574 pages, 1, black & white illustrations
Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
Udgivet | 7. juli 2008 |
ISBN13 | 9783540691471 |
Forlag | Springer-Verlag Berlin and Heidelberg Gm |
Antal sider | 546 |
Mål | 155 × 235 × 29 mm · 839 g |
Sprog | Tysk |
Klipper/redaktør | Meyer, Bertrand |
Klipper/redaktør | Woodcock, Jim |
Vis alle
Mere med Bertrand Meyer
Se alt med Bertrand Meyer ( f.eks. Paperback Bog , Hardcover bog og Bog )