Sciences, Technology & Medicine
Domains and Lambda-Calculi (English, Roberto M. Amadio | Pierre-Louis Curien | Amadio Roberto M.)
₹5,404₹18,791Save 71%
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
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
Book Details
| ISBN-13 | 9780521622776 |
| ISBN-10 | 0521622778 |
Product Description
About the Book
This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an…
ISBN: 9780521622776
Frequently Asked Questions
What is the price of Domains and Lambda-Calculi?
Domains and Lambda-Calculi is available at ₹5,404 on BookShops.in.
Does BookShops.in offer free delivery for Domains and Lambda-Calculi?
FREE delivery on all orders for Domains and Lambda-Calculi.
Is Cash on Delivery available for Domains and Lambda-Calculi?
Yes, Cash on Delivery (COD) is available for Domains and Lambda-Calculi on BookShops.in. Pay when your order arrives.
What is the return policy for Domains and Lambda-Calculi?
BookShops.in offers a 15-day hassle-free return policy for Domains and Lambda-Calculi. Contact us at support@bookshops.in or call +91 81899 68108.
Is Domains and Lambda-Calculi authentic?
Domains and Lambda-Calculi is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Related Products
View All
-43%Sciences, Technology & Medicine
Democratic Choice and Taxation (English, Walter Hettich | Stanley L. Winer)
₹5,311₹9,385
-78%Sciences, Technology & Medicine
Molecular Breeding of Woody Plants (English, Noriyuki Morohoshi | Atsushi Komamine)
₹5,209₹23,985
Sciences, Technology & Medicine
Semiparametric Regression for the Applied Econometrician (English, Adonis Yatchew)
₹4,788
Sciences, Technology & Medicine
Costs and Productivity in Automobile Production (English, Melvyn A. Fuss | Leonard Waverman)
₹4,327
-74%Sciences, Technology & Medicine
Financial Products (English, Bill Dalton)
₹5,108₹19,961
-62%Sciences, Technology & Medicine
Grundlagen Und Grenzen Des Folterverbotes in Verschiedenen Rechtskreisen (English, Anja Katarina Weilert)
₹5,407₹14,329