Gå direkt till innehållet
Verified Software: Theories, Tools, Experiments
Spara

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.
Undertitel
Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
Upplaga
2008 ed.
ISBN
9783540878728
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
22.9.2008
Sidor
263