Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

ISBN

9783540311393

$109.99

Format	Paperback
Details	Status:Active Record Product Type:Individual Title Volumes in Set:1 vol. Copyright Year:2006 Number of Pages:xi, 443 Illustrated:Yes Series Volume Number:3855 Media Class:Combination of Multiple Bindings LC Classification Number:QA75.5-76.95