Types for Proofs and Programs(English, Paperback, unknown)
- unknown
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart ₹ 3422SnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹10,593Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books GOAudible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Types for Proofs and Programs(English, Paperback, unknown) is written by unknown and published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG. It's available with International Standard Book Number or ISBN identification 3540314288 (ISBN 10) and 9783540314288 (ISBN 13).
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.
