•
1 1

INGRAM

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, Vmcai 2009, Savannah, Ga, Usa, January 18-20, 2009. Proceedi

$54.99 USD
$54.99 USD
Sale Sold out
Title
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, Vmcai 2009, Savannah, Ga, Usa, January 18-20, 2009. Proceedi - Neil Jones