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
Polysaccharides as Battery Components
$54.99
Inflammatory Bowel Diseases
$39.99
The Next Generation of Responsible Investing
$109.99
Koalitionen und Koalitionskampfmittel
$59.99
Visual Informatics: Sustaining Research and Innovations
$39.99
Die Japanische Auswanderung
$49.99
Die Wirtschaftsmentalitt der westdeutschen Handwerker
$59.99
Transition Towards Energy Efficient Machine Tools
$84.99
Advanced Techniques in Biological Electron Microscopy II
$84.99
Intelligent Data Analysis for COVID-19 Pandemic
$199.99
Max Weber and Postmodern Theory
$109.99
Foundations and Practice of Security
$54.99
Behavioral Synthesis for Hardware Security
$139.99
Sind die traditionellen Lehrplne berflssig?
$49.99
Umwelt und Innenwelt der Tiere
$89.99
The Age of Virtue
$109.99
Fictive Theories
$54.99
Die Masseungleichmigkeit von Flachsstreckenbndern in Abhngigkeit von Verzug und Dopplung
$54.99
Toeplitz Operators and Index Theory in Several Complex Variables
$169.99
Cultural Heritage and Human Rights
$159.99
Crisis, Risk and Stability in Financial Markets
$54.99
Planning for Resilience
$54.99
Nanostructured Materials for Next-Generation Energy Storage and Conversion
$249.99
Mechanisms for CO2 Sequestration in Geological Formations and Enhanced Gas Recovery
$84.99
Chemical Reactivity in Liquids
$39.99
Harry Potter-Illustrated: Harry Potter and the Goblet of Fire (Hardcover)
$35.99
Computer Vision ECCV 2012
$84.99
Literature 1978, Part 1
$54.99
Compendium to Radiation Physics for Medical Physicists
$99.00
Information Systems and Outsourcing
$109.99
Wireless Power Transfer for Electric Vehicles: Foundations and Design Approach
$129.99
Electromagnetic Vibration Energy Harvesting Devices
$109.99
Synchronisation in verteilten Systemen
$69.99
Interstitial Lung Disease
$54.99
Principles and Practice of Environmental Medicine
$219.99
Teilhabe an digitaler Bildung
$54.99
Religious Transnationalism and Climate Change
$44.99
Partial Differential Equations and Calculus of Variations
$44.99
Aircraft Maintenance Programs
$99.00
Der Einflu des Herstellungsverfahrens, der Bearbeitungsvorgnge und der Betriebsverhltnisse auf di
$59.99
