Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

ISBN

9783642182747

$109.00

Format	Paperback
Details	Status:Active Record Product Type:Individual Title Volumes in Set:1 vol. Copyright Year:2011 Number of Pages:xi, 419 Illustrated:Yes Series Volume Number:6538 LC Classification Number:QA75.5-76.95