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øker - Springer-Verlag Berlin and Heidelberg Gm - 9783540691471 - 7. juli 2008
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 1.099

Bestillingsvarer

Forventes levert 9. - 19. jan 2026
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller

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


574 pages, 1, black & white illustrations

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 7. juli 2008
ISBN13 9783540691471
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 546
Mål 155 × 235 × 29 mm   ·   839 g
Språk Tysk  
Redaktør Meyer, Bertrand
Redaktør Woodcock, Jim

Mer med Bertrand Meyer

Vis alle