Types for Proofs and Programs (English, Herman Geuvers | Freek Wiedijk)
by Herman Geuvers | Freek Wiedijk
Delivery options
₹5,543
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,543
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540140313
ISBN-10
354014031X
Author
Herman Geuvers | Freek Wiedijk
About the Book
These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24-28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin-L]of, one of the…
ISBN: 9783540140313
ISBN-13: 9783540140313
ISBN-10: 354014031X
Frequently Asked Questions
What is the price of Types for Proofs and Programs?
Types for Proofs and Programs starts from ₹5543 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?
Herman Geuvers | Freek Wiedijk is the author of Types for Proofs and Programs. Browse more books by Herman Geuvers | Freek Wiedijk 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-9783540140313
🛒 Customers Also Bought
The Place of Provenance: Regional Styles in Tibetan Painting (Masterworks of Tibetan Painting) (English, Hardcover, David P. Jackson, Rob Linrothe)
₹2,700
Diskriminierung - Antidiskriminierung (English, Jan C. Joerden)
₹5,463
Software Radio (English, Elettra Venosa | Fredric J. Harris | Francesco A. N. Palmieri)
₹4,951
Beitrag Zur Arbeitsgenauigkeit Des Kaltmassivumformens (English, H. Leykamm)
₹4,175
Planung Und Auslegung Des Materialflusses Flexibler Fertigungssysteme (English, R. Wilhelm)
₹4,177
Praktische Stanzerei Ein Buch Für Betrieb Und Büro Mit Aufgaben Und Lösungen (English, Eugen Kaczmarek)
₹4,200Related Products
I Want to be a Mathematician (English, P. R. Halmos)
₹4,678
Linear Algebra and Geometry (English, Igor R. Shafarevich)
₹5,857
Children's Fractional Knowledge (English, Leslie P. Steffe | John Olive)
₹11,499
Energetic Compounds: Methods for Prediction of their Performance (English, Paperback)
₹2,700
Electrochemical Cell Calculations with Openfoam (English, Steven Beale)
₹4,790