Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Logic and Program Semantics
Best Price (Coupon Required):
Buy Logic and Program Semantics for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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 for logics; alternation; algorithms and complexity; and programming languages and program analysis. The second part of this volume includes laudatios from several collaborators, students and friends, including the members of his current band.
Reviews
Questions & Answers
Are Statistics Only Made of Data?
$99.00
Guided Science Readers: Seasons-Level D: We Can Go To The Beach
$2.96
Poland in the Second World War
$84.99
Inventive Communication and Computational Technologies
$299.99
Scholastic Reader! Level 2- Pokmon: An Electric Secret
$4.49
Single-Dose Antibiotikaprophylaxe
$69.99
Cutaneous Adnexal Neoplasms
$219.00
Neue Wege - Gleiche Chancen
$49.99
Internet Self-Service in Kundenbeziehungen
$74.99
Algebra II
$64.99
Database Systems for Advanced Applications
$54.99
Essays in Economic Dynamics
$129.00
Subpulmonic Ventricular Septal Defect
$54.99
Engineering and Sciences Teaching and Learning Activities
$84.99
Turbulent Flows
$329.99
Algorithmic Foundations of Robotics XV
$299.99
Chemical Synthesis
$84.99
Quick Guide Sound Marketing
$29.99
Spatial Data on the Web
$169.99
Betriebsstrungen und Warteschlangen
$59.99
Thinking in Circles About Obesity
$24.99
Arbeitshilfen und Formeln fr das technische Studium 3
$34.99
Proceedings of the Future Technologies Conference (FTC) 2024, Volume 2
$249.99
Interdisciplinary Approaches to Nonlinear Complex Systems
$84.99
The Geometry of Lagrange Spaces: Theory and Applications
$129.00
Compression Garments in Sports: Athletic Performance and Recovery
$109.99
Wood-Based Energy in the Northern Forests
$109.99
The Philosophy of History
$109.99
Cutting the Distance
$59.99
Communications and Multimedia Security Issues of the New Century
$219.99
Scholar Zone Extended Learning Plus ELA & Math Grade 2
$900.00
Verfahrensvarianten der Conjoint-Analyse zur Prognose von Kaufentscheidungen
$64.99
Reshaping of Dirac Cones in Topological Insulators and Graphene
$109.99
Literarische Wertungen
$59.99
Inner Asia and the Spatial Politics of Empire
$84.99
Job Quality and Employer Behaviour
$109.99
Evaluating Corporate Training: Models and Issues
$109.99
Digital Technology, Eating Behaviors, and Eating Disorders
$54.99
Innovative Methods in Media and Communication Research
$44.99
Global Crisis and Reproduction of Capital
$49.99
