Semantics Engineering with PLT Redex (English, Matthias Felleisen | Robert Bruce Findler | Matthew Flatt)
by Matthias Felleisen | Robert Bruce Findler | Matthew Flatt
Delivery options
₹5,823
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,823
Book Details
Publisher
MIT Press
Language
English
ISBN-13
9780262062756
ISBN-10
0262062755
Author
Matthias Felleisen | Robert Bruce Findler | Matthew Flatt
About the Book
The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics. This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed to th…
ISBN: 9780262062756
ISBN-13: 9780262062756
ISBN-10: 0262062755
Frequently Asked Questions
What is the price of Semantics Engineering with PLT Redex?
Semantics Engineering with PLT Redex starts from ₹5823 at GlowMirror. Available in Paperback.
Who is the author of Semantics Engineering with PLT Redex?
Matthias Felleisen | Robert Bruce Findler | Matthew Flatt is the author of Semantics Engineering with PLT Redex. Browse more books by Matthias Felleisen | Robert Bruce Findler | Matthew Flatt on GlowMirror.
Is Semantics Engineering with PLT Redex available in Paperback and Hardcover?
Yes, Semantics Engineering with PLT Redex is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Semantics Engineering with PLT Redex?
Yes, GlowMirror offers free delivery for Semantics Engineering with PLT Redex across India. No minimum order value required.
Is Cash on Delivery available for Semantics Engineering with PLT Redex?
Yes, Cash on Delivery (COD) is available for Semantics Engineering with PLT Redex on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9780262062756
🛒 Customers Also Bought
Galactic and Intergalactic Magnetic Fields (English, R. Beck | P. P. Kronberg | R. Wielebinski)
₹15,094
Mathematical Logic (English, Rene Cori | Daniel Lascar | Ren? Cori)
₹19,604
Uncertainty Analysis for Engineers and Scientists (English, Faith A. Morrison)
₹5,273
A Gentle Course in Local Class Field Theory (English, Pierre Guillot)
₹9,871
Drogenanalyse (English, H. Wagner | S. Bladt | E. -M Zgainski)
₹5,694
An Introduction to Polynomial and Semi-Algebraic Optimization (English, Jean Bernard Lasserre)
₹17,378Related Products
Analyzing Health Equity Using Household Survey Data (English, Owen O'Donnell | Eddy Van Doorslaer | Adam Wagstaff)
₹2,599
Fourier-Mukai Transforms in Algebraic Geometry (English, D. Huybrechts)
₹19,980
Introduction to Lattice Dynamics (English, Martin T. Dove | Andrew Putnis | Robert C. Liebermann)
₹16,957
Elements of Algebraic Coding Theory (English, Vermani L.R.)
₹10,213
Chirurgie Der Abdominalen Und Thorakalen Aorta (English, R. I. Rückert | Wolfgang Hepp | Bernd Luther)
₹4,237