Types for Proofs and Programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

ISBN

9783540314288

$99.00

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