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

Verified Software: Theories, Tools, Experiments

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008.
Undertittel
Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
Opplag
2008 ed.
ISBN
9783540878728
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
22.9.2008
Antall sider
263