Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

ISBN

9783642358722

$84.99

Format	Paperback
Details	Dimensions:9.3" x 6.1" x 0.5" Status:Active Record Product Type:Individual Title Volumes in Set:1 vol. Copyright Year:2013 Number of Pages:xi, 556 Illustrated:Yes Series Volume Number:7737 LC Classification Number:QA75.5-76.95