Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 2003, Proceedings

ISBN

9783540003489

$109.00

Author	Zuck, Lenore D.
Format	Paperback
Details	Status:Active Record Product Type:Individual Title Product Format:Books Volumes in Set:1 vol. Copyright Year:2003 Number of Pages:xii, 328 Illustrated:Yes Series Volume Number:2575 Media Class:Print LC Classification Number:QA75.5-76.95