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

Verified Software: Theories, Tools, Experiments

Lägsta pris på PriceRunner
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
2008-09-22
Sidor
263