Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

ISBN

9783540697350

$119.00

Author	Emerson, E. Allen
Format	Paperback
Details	Status:Active Record Product Type:Individual Title Product Format:Books Volumes in Set:1 vol. Copyright Year:2007 Number of Pages:xi, 395 Illustrated:Yes Series Volume Number:4349 Media Class:Print LC Classification Number:QA75.5-76.95