Gå direkt till innehållet
Verification, Model Checking, and Abstract Interpretation
Spara

Verification, Model Checking, and Abstract Interpretation

Lägsta pris på PriceRunner
This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17–19, 2010.
Undertitel
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
ISBN
9783642113185
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2010-01-08
Sidor
397