Verification, Model Checking, and Abstract Interpretation - 10th International Conference, VMCAI 2009 Savannah, GA, USA, January 2009, Proceedings

des pages: :
Évaluation: :
ISBN: : 978-3-540-93899-6
Type de format: : fb2, ibooks, azw, odf, epub, lit, pdf, mobi, cbt
Prix: : FREE
Auteure: : Neil D. Jones,Markus Müller-Olm,
Les données: : 01/07/2014
EAN: : 9783540938996

Verification, Model Checking, and Abstract Interpretation - 10th International Conference, VMCAI 2009 Savannah, GA, USA, January 2009, Proceedings