Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

ISBN

9783540221647

$119.00

Format	Paperback
Details	Status:Active Record Product Type:Individual Title Product Format:Books Volumes in Set:1 vol. Copyright Year:2004 Number of Pages:x, 412 Illustrated:Yes Series Volume Number:3085 Media Class:Print LC Classification Number:QA75.5-76.95