Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

ISBN

9783642024436

$99.00

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