Siirry suoraan sisältöön
Verified Software: Theories, Tools, Experiments
Tallenna

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.
Alaotsikko
Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
Painos
2008 ed.
ISBN
9783540878728
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
22.9.2008
Sivumäärä
263