Types for Proofs and Programs (English, Peter Dybjer | Bengt Nordström | Jan Smith)
by Peter Dybjer | Bengt Nordström | Jan Smith
Delivery options
₹5,483
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,483
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540605799
ISBN-10
3540605797
Author
Peter Dybjer | Bengt Nordström | Jan Smith
About the Book
This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994. The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are deal…
ISBN: 9783540605799
ISBN-13: 9783540605799
ISBN-10: 3540605797
Frequently Asked Questions
What is the price of Types for Proofs and Programs?
Types for Proofs and Programs starts from ₹5483 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Types for Proofs and Programs?
Peter Dybjer | Bengt Nordström | Jan Smith is the author of Types for Proofs and Programs. Browse more books by Peter Dybjer | Bengt Nordström | Jan Smith on BookBajar.
Is Types for Proofs and Programs available in Paperback and Hardcover?
Yes, Types for Proofs and Programs is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Types for Proofs and Programs?
Yes, BookBajar offers free delivery for Types for Proofs and Programs across India. No minimum order value required.
Is Cash on Delivery available for Types for Proofs and Programs?
Yes, Cash on Delivery (COD) is available for Types for Proofs and Programs on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540605799
🛒 Customers Also Bought
Digital Sociology (English, Hardcover, Deborah Lupton)
₹4,014
Einführung in Die Elektrotechnik Höherer Frequenzen (English, Hans H. Meinke)
₹2,359
Neue Automatisierungstechniken (English, F. Margulies | G. Hillebrand)
₹2,158
Objektive Photometrie (English, Rudolf Sewig)
₹5,966
25 Jahre Kaiser Wilhelm = Gesellschaft Zur Förderung Der Wissenschaften (English, Max Planck)
₹4,099
Finite Zeros in Discrete Time Control Systems (English, Jerzy Tokarzewski)
₹4,821Related Products
Arbeitsbuch Zur Mikroökonomik I (English, Volker Böhm)
₹1,573
Faktorenanalyse (English, K. Überla)
₹3,508
Theorie Kollektiver Entscheidungen (English, Walter Bossert | Frank Stehling)
₹3,508
Die Elektricitäts-Lieferungs-Gesellschaft Berlin (English, Gustav Siegel)
₹3,143
Realismus Und Strukturalismus. Anwendungen (English, Wolfgang Stegmüller)
₹1,791