Types for Proofs and Programs (English, Thierry Coquand | Peter Dybjer | Bengt Nordström)
by Thierry Coquand | Peter Dybjer | Bengt Nordström
Delivery options
₹3,398
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: ₹3,398
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540415176
ISBN-10
3540415173
Author
Thierry Coquand | Peter Dybjer | Bengt Nordström
About the Book
This book contains a selection of papers presented at the third annual workshop of the Esprit Working Group 21900 Types, which was held 12 - 16 June 1999 at L]okeberg in the rural area north of G]oteborg and close to Marstrand. It was attended by 77 researchers. The two previous workshops of the working group were held in Aussois, France, in December 1996 and in Irsee, Germany, in March 1998. The proc- dings of those workshops appear as LNCS Vol.…
ISBN: 9783540415176
ISBN-13: 9783540415176
ISBN-10: 3540415173
Frequently Asked Questions
What is the price of Types for Proofs and Programs?
Types for Proofs and Programs starts from ₹3398 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?
Thierry Coquand | Peter Dybjer | Bengt Nordström is the author of Types for Proofs and Programs. Browse more books by Thierry Coquand | Peter Dybjer | Bengt Nordström 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-9783540415176
🛒 Customers Also Bought
Käse. Margarinkäse (English, Hugo Burtscher | W. Winkler | Architektur Stiftung Österreich)
₹5,772
Kurzer Abriss Der Geschichte Der Elektrischen Telegraphie (English, Karl Eduard Zetzsche)
₹4,842
Handbuch Der Feuerungstechnik Und Des Dampfkesselbetriebes (English, Georg Herberg)
₹5,999
Talsperren-Meßtechnik (English, Arnold U. Huggenberger)
₹4,150
Einführung in Eine Analytische Rechtslehre (English, Jürgen Rödig | Harald Kindermann)
₹3,255
Lokale Rechnernetze (English, Bernd Lindemann)
₹4,178Related Products
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883
Problem-Solving Methods in Combinatorics (English, Pablo Soberón)
₹4,211
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095