Types for Proofs and Programs
by Hutchison, David - undifferentiated
Published
2009
Publisher
Springer Berlin Heidelberg
ISBN-13
9783642024436
Subjects
You May Also Like
The Logic of Scientific Discovery
The Logic of Scientific Discovery
Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei
Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei
How computers work
How computers work
Digital circuits and logic design
Digital circuits and logic design
An engineering approach to digital design
An engineering approach to digital design
Microprocessor logic design
Microprocessor logic design
Frequently Asked Questions
Who is the author of Types for Proofs and Programs?
Types for Proofs and Programs was written by Hutchison, David - undifferentiated.
When was Types for Proofs and Programs published?
The publication date for this specific edition is 2009. The original work may have been published on a different date.