Gå direkte til innholdet
Verified Software: Theories, Tools, Experiments
Spar

Verified Software: Theories, Tools, Experiments

A Step Towards Verified Software Worries about the reliability of software are as old as software itself;
Undertittel
First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Opplag
2008 ed.
ISBN
9783540691471
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
7.7.2008
Antall sider
546