Springer
Types for Proofs and Programs (English, Thierry Coquand | Peter Dybjer | Bengt Nordström)
₹3,398
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 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
Book Specifications
| ISBN-13 | 9783540415176 |
| ISBN-10 | 3540415173 |
| 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 ₹3,398 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 support@bookshops.in or call +91 90874 10993.
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
Atheneum Books for Young Readers
The Immortals Quartet by Tamora Pierce
₹3,617
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
Lindaloo Enterprises
Toilet Paper Origami: Delight Your Guests With Fancy Folds and Simple Surface Embellishments
₹1,774
Gallaudet University Press
Deaf Like Me
₹2,153
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
University of Toronto Press
The Unmaking of Home in Contemporary Art (Cultural Spaces)
₹5,101
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
Rechnernetze und Datenkommunikation (Springer Compass)
₹3,548
Springer
Wirtschaftswachstum, Strukturwandel und dynamischer Wettbewerb: Ernst Helmstädter zum 65. Geburtstag
₹3,982
Springer
Contemporary Methods for Speech Parameterization (Springerbriefs in Electrical and Computer Engineering / Springerbriefs in Speech Technology)
₹4,187