Verification, Model Checking, and Abstract Interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 2005, Proceedings

ISBN

9783540242970

$129.00

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