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 - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540691471 - 7. juli 2008
Ved uoverensstemmelse mellem cover og titel gælder titel

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

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