Logic and Program Semantics (English, Robert L. Constable | Alexandra Silva)
by Robert L. Constable | Alexandra Silva
Delivery options
Logic and Program Semantics by Robert L. Constable | Alexandra Silva is listed under Language, Linguistics & Writing on BookBajar. Full details, specifications and reader reviews are below.
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
Reader's Guide
What This Book Covers
- ·The main subject matter of Logic and Program Semantics
- ·Ideas and detail relevant to Language, Linguistics & Writing
- ·Context that helps make sense of the material as a whole
Best Suited For
Readers with an interest in Language, Linguistics & Writing, from students to hobbyists.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Logic and Program Semantics?
Logic and Program Semantics starts from ₹5576 at BookBajar. 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 BookBajar.
Is Logic and Program Semantics available in Paperback and Hardcover?
Yes, Logic and Program Semantics is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Logic and Program Semantics?
Yes, BookBajar 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 BookBajar. You can pay when your order is delivered.
What is BookBajar's return policy on Logic and Program Semantics?
Logic and Program Semantics can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Logic and Program Semantics?
Logic and Program Semantics has ISBN 9783642294846 (ISBN-10: 3642294847). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Logic and Program Semantics?
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.
Product ID: isbn-9783642294846
🛒 Customers Also Bought
Complete English Grammar Rules (English, Farlex International)
₹2,524
Language and Mind (English, Noam Chomsky)
₹4,845
Domain-Specific Languages (English, Martin Fowler)
₹5,570
UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications (English, Perdita Stevens | Jon Whittle | Grady Booch)
₹5,743
Semantic Web (English, Tassilo Pellegrini | Andreas Blumauer)
₹2,779
Vergleichende Syntax Der Indogermanische Sprachen, Teil 3 (English, Berthold Delbrück)
₹1,659Related Products
Case and Linking in Language Comprehension (English, Markus Bader | Josef Bayer)
₹5,300
Statistical Universals of Language (English, Kumiko Tanaka-Ishii)
₹5,067
Selected Papers on Language and the Brain (English, N. Geschwind)
₹4,469
Morphological Image Analysis (English, Pierre Soille)
₹4,959
A Glossary of English Grammar (English, Geoffrey Leech)
₹2,742