Springer
Types for Proofs and Programs (English, Peter Dybjer | Bengt Nordström | Jan Smith)
₹5,483
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
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
Book Specifications
| ISBN-13 | 9783540605799 |
| ISBN-10 | 3540605797 |
| Publisher | Springer |
| Category | Springer |
Frequently Asked Questions
What is the price of Types for Proofs and Programs?
Types for Proofs and Programs is available at ₹5,483 on BookShops.in.
Does BookShops.in offer free delivery for Types for Proofs and Programs?
FREE delivery on all orders for Types for Proofs and Programs.
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 BookShops.in. Pay when your order arrives.
What is the return policy for Types for Proofs and Programs?
BookShops.in offers a 15-day hassle-free return policy for Types for Proofs and Programs. Contact us at [email protected] or call +91 81899 68108.
Is Types for Proofs and Programs authentic?
Types for Proofs and Programs is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
de Gruyter Mouton
Regional Development (English, John H. Cumberland)
₹4,638
British Archaeological Reports Oxford Ltd
Copies of the Fel Temp Reparatio Coinage in Britain | by R. J. Brickstock | British Archaeological Reports Oxford Ltd | by R. J. Brickstock | British Archaeological Reports Oxford Ltd | by R. J. Brickstock | British Archaeological Reports Oxford Ltd | by R. J. Brickstock | British Archaeological Reports Oxford Ltd | by R. J. Brickstock | British Archaeological Reports Oxford Ltd | by R. J. Brickstock | British Archaeological Reports Oxford Ltd | by R. J. Brickstock | British Archaeological Repor
₹4,833
de Gruyter
Baby - Cutter (English, Gerhard Strau | Heidrun Kamper-Jensen | Isolde Nortmeyer)
₹4,837
de Gruyter Mouton
Stratégies Et Choix Dans La Recherche (English, G. Lemaine | M. Clémençon | A. Gomis)
₹4,544
Fordham University Press
Charms That Soothe: Classical Music and the Narrative Film (Communications and Media Studies, 9)
₹3,146
Atheneum Books
Ghost | by Jason Reynolds | Atheneum Books | by Jason Reynolds | Atheneum Books | by Jason Reynolds | Atheneum Books | by Jason Reynolds | Atheneum Books | by Jason Reynolds | Atheneum Books | by Jason Reynolds | Atheneum Books | by Jason Reynolds | Atheneum Books | by Jason Reynolds | Atheneum Books | by Jason Reynolds | Atheneum Books | by Jason Reynolds | Atheneum Books | by Jason Reynolds | Atheneum Books | by Jason Reynolds | Atheneum Books | by Jason Reynolds | Atheneum Books | by Jason Re
₹1,078
Related Products
View All
Springer
Ermittlung Der Billigsten Betriebskraft Für Fabriken | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst Reutlinger | Springer | by Karl Urbahn | Ernst
₹5,829
Springer
Historische Studien Und Skizzen Zu Natur- Und Heilwissenschaft | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | by Georg Stricker | Springer | b
₹3,508
Springer
Kondensation. | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | Springer | by F. J. Weiss | E. Wiki | S
₹3,508
Springer
Die Wollspinnerei | by O. Bernhardt | J. Marcher | R. O. Herzog | Springer | by O. Bernhardt | J. Marcher | R. O. Herzog | Springer | by O. Bernhardt | J. Marcher | R. O. Herzog | Springer | by O. Bernhardt | J. Marcher | R. O. Herzog | Springer | by O. Bernhardt | J. Marcher | R. O. Herzog | Springer | by O. Bernhardt | J. Marcher | R. O. Herzog | Springer | by O. Bernhardt | J. Marcher | R. O. Herzog | Springer | by O. Bernhardt | J. Marcher | R. O. Herzog | Springer | by O. Bernhardt | J. Mar
₹5,498
Springer
Die Wirtschaftliche Lage Von Kanada | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer | by Hans Hammann | Springer
₹3,508
Springer
Gefahr Für Ökosysteme Und Wasserqualität | by Jörg Matschullat | Hartmut Heinrichs | Jürgen Schneider | Springer | by Jörg Matschullat | Hartmut Heinrichs | Jürgen Schneider | Springer | by Jörg Matschullat | Hartmut Heinrichs | Jürgen Schneider | Springer | by Jörg Matschullat | Hartmut Heinrichs | Jürgen Schneider | Springer | by Jörg Matschullat | Hartmut Heinrichs | Jürgen Schneider | Springer | by Jörg Matschullat | Hartmut Heinrichs | Jürgen Schneider | Springer | by Jörg Matschullat | Har
₹4,965