Types for Proofs and Programs

Types for Proofs and Programs

EnglishEbook
Springer Berlin Heidelberg
EAN: 9783540458425
Available online
€57.85
Common price €64.28
Discount 10%
pc
EAN 9783540458425
ISBN 3540458425
Binding Ebook
Publisher Springer Berlin Heidelberg
Publication date August 3, 2003
Language English
Country Uruguay
Editors Callaghan, Paul; Luo, Zhaohui; McKinna, James; Pollack, Robert
Series Lecture Notes in Computer Science
Manufacturer information
The manufacturer's contact information is currently not available online, we are working intensively on the axle. If you need information, write us on [email protected], we will be happy to provide it.