Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Type Theory and Formal Proof : An Introduction by Rob Nederpelt and Herman Geuvers (2014, Hardcover)
rarewaves-united (423412)
98.7% positive feedback
Price:
AU $231.81
ApproximatelyRM 631.39
+ $2.99 shipping
Returns:
No returns, but backed by .
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherCambridge University Press
ISBN-10110703650X
ISBN-139781107036505
eBay Product ID (ePID)208887114
Product Key Features
Subject AreaComputers, Mathematics
Publication NameType Theory and Formal Proof : an Introduction
SubjectProgramming Languages / General, Logic
Publication Year2014
TypeTextbook
FormatHardcover
LanguageEnglish
AuthorRob Nederpelt, Herman Geuvers
Number of Pages466 Pages
Dimensions
Item Length10 in
Item Height1.1 in
Item Weight34.6 Oz
Item Width6.8 in
Additional Product Features
Intended AudienceScholarly & Professional
Be the first to write a review
