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
The Forcing Method in Set Theory (English, Matteo Viale)
₹3,398
Lehrbuch Der Textilchemie (English, Hermann Rath)
₹5,498
La Colonscopia Virtuale (English, Andrea Laghi | Roberto Passariello)
₹3,846
Financial Mathematics (English, Bruno Biais | Wolfgang J. Runggaldier | Thomas Björk)
₹5,045
Adsorptionstechnik (English, Dieter Bathen | Marc Breitbach)
₹5,133
Wo Fehlt´s Uns Denn Heute? Wie Patienten Und Ärzte Besser Miteinander Umgehen Können (English, Christian Schlesiger | Alban Braun)
₹1,573Related Products
Vestibularisprüfung Und Vestibuläre Erkrankungen (English, Claus T. Haid)
₹3,508
Robotik (English, Hans-Jürgen Siegert | Siegfried Bocionek)
₹2,779
Der Keynesianismus II (English, G. Bombach | H. -J Ramser | M. Timmermann)
₹4,601
Realismus Und Strukturalismus. Anwendungen (English, Wolfgang Stegmüller)
₹1,791
Software Verification and Analysis (English, Janusz Laski | William Stanley)
₹5,558