Fortell venner om denne varen:
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 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
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
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 |