Logic and Program Semantics (English, Robert L. Constable | Alexandra Silva)
by Robert L. Constable | Alexandra Silva
Delivery options
₹5,576
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,576
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642294846
ISBN-10
3642294847
Author
Robert L. Constable | Alexandra Silva
About the Book
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 full papers related to Dexter Kozen's research. They deal with coalgebraic methods, congruence closure; the completeness of various programming logics; decision procedure…
ISBN: 9783642294846
ISBN-13: 9783642294846
ISBN-10: 3642294847
Frequently Asked Questions
What is the price of Logic and Program Semantics?
Logic and Program Semantics starts from ₹5576 at GlowMirror. Available in Paperback.
Who is the author of Logic and Program Semantics?
Robert L. Constable | Alexandra Silva is the author of Logic and Program Semantics. Browse more books by Robert L. Constable | Alexandra Silva on GlowMirror.
Is Logic and Program Semantics available in Paperback and Hardcover?
Yes, Logic and Program Semantics is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Logic and Program Semantics?
Yes, GlowMirror offers free delivery for Logic and Program Semantics across India. No minimum order value required.
Is Cash on Delivery available for Logic and Program Semantics?
Yes, Cash on Delivery (COD) is available for Logic and Program Semantics on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783642294846
🛒 Customers Also Bought
Das Betriebssystem Open VMS (English, Bernd Schäffus)
₹3,143
Grundriß Des Bergrechts (English, Raimund Willecke | Raimund Willecke | George Turner)
₹3,143
Action Of Discrete Amenable Groups On Von Neumann Algebras (English, Adrian Ocneanu)
₹1,290
Mao - The Mother of All Amine Oxidases (English, John P. M. Finberg | Moussa B. H. Youdim | Peter Riederer)
₹5,752
Tomita's Theory of Modular Hilbert Algebras and Its Applications (English, M. Takesaki)
₹2,675
Psychologie Im Projektmanagement (English, Christoph Lüttge)
₹3,104Related Products
Königin Luise (English, Eduard Engel)
₹5,820
Zivilrechtliche Mietpreiskontrolle (English, Jürgen Keller)
₹3,508
Paläoanthropologie (English, Winfried Henke | Hartmut Rothe)
₹4,601
Wenn Kinder Und Jugendliche Körperlich Chronisch Krank Sind (English, Martin Pinquart)
₹3,143
Psychotherapie in Zeiten Kollektiver Verunsicherung (English, Ralf T. Vogel)
₹998