Language, Linguistics & Writing
Logic and Program Semantics (English, Robert L. Constable | Alexandra Silva)
₹5,576
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
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
Product Description
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
Book Specifications
| ISBN-13 | 9783642294846 |
| ISBN-10 | 3642294847 |
| Publisher | Springer |
| Category | Language, Linguistics & Writing |
Frequently Asked Questions
What is the price of Logic and Program Semantics?
Logic and Program Semantics is available at ₹5,576 on BookShops.in.
Does BookShops.in offer free delivery for Logic and Program Semantics?
FREE delivery on all orders for Logic and Program Semantics.
Is Cash on Delivery available for Logic and Program Semantics?
Yes, Cash on Delivery (COD) is available for Logic and Program Semantics on BookShops.in. Pay when your order arrives.
What is the return policy for Logic and Program Semantics?
BookShops.in offers a 15-day hassle-free return policy for Logic and Program Semantics. Contact us at [email protected] or call +91 81899 68108.
Is Logic and Program Semantics authentic?
Logic and Program Semantics is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Journalism
Rock Critic Law (English, Michael Azerrad)
₹1,694
Journalism
What Is Sustainable Journalism?: Integrating the Environmental, Social, and Economic Challenges of Journalism
₹5,453
Journalism
The Power of Sports: Media and Spectacle in American Culture: 23 (Postmillennial Pop)
₹2,743
Journalism
Research Guide to People's Daily Editorials, 1949-1975
₹2,682
Vocabulary
Prince Edward Island Sayings (Heritage)
₹3,433
Vocabulary
Grammar Survival for Primary Teachers: A Practical Toolkit by Jo Shackleton
₹2,178
Related Products
View All
Language, Linguistics & Writing
The Language of Turn and Sequence | by Cecilia E. Ford | Barbara A. Fox | Sandra A. Thompson | Oxford University Press | by Cecilia E. Ford | Barbara A. Fox | Sandra A. Thompson | Oxford University Press | by Cecilia E. Ford | Barbara A. Fox | Sandra A. Thompson | Oxford University Press | by Cecilia E. Ford | Barbara A. Fox | Sandra A. Thompson | Oxford University Press | by Cecilia E. Ford | Barbara A. Fox | Sandra A. Thompson | Oxford University Press | by Cecilia E. Ford | Barbara A. Fox | S
₹4,025
Language, Linguistics & Writing
Handbook of Color Psychology by Andrew J. Elliot
₹5,074
Language, Linguistics & Writing
The Language of Postcolonial Literatures (English, Ismail S. Talib)
₹3,249
Language, Linguistics & Writing
The Other Side of Language | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by Gemma Corradi Fiumara | Routledge | by
₹5,396
Language, Linguistics & Writing
An Introduction to Cognitive Linguistics | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Hans-Jorg Schmid | Routledge | by Friedrich Ungerer | Ha
₹4,276
Language, Linguistics & Writing
Nonsense and Other Senses: Regulated Absurdity in Literature
₹3,662