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
Disability in Judaism, Christianity, and Islam
$54.99
Vertriebskennzahlen
$17.99
Promoting Health for Working Women
$54.99
Plant Growth-Promoting Microbes for Sustainable Biotic and Abiotic Stress Management
$149.00
Eigenfinanzierung und Aktienbewertung
$59.99
Multisystemische Therapie bei dissozialem Verhalten von Kindern und Jugendlichen
$119.99
Logistisches Handelscontrolling
$59.99
Microfabrication in Tissue Engineering and Bioartificial Organs
$109.99
New Universities in the Modern World
$69.99
Die Neuordnung des Journalismus
$74.99
Fuzzy Mathematics
$159.99
Information from Processes
$39.99
Celestial Shadows
$149.00
Energy Transmission and Synchronization in Complex Networks
$109.99
Leaders for Tomorrow: Challenges for Military Leadership in the Age of Asymmetric Warfare
$99.00
Cancer Chemotherapeutic Agents
$109.99
Die Bewltigung organisatorischer bergnge
$49.99
Veteran and Military Mental Health
$179.99
Transgenic Crops II
$39.99
Beitrag zur Gestaltung von Schaftfrsern zum Ausfrsen von Schmiedehohlformen
$54.99
Harold Macmillan and the Berlin Wall Crisis, 1958-62
$109.99
Arabidopsis Protocols
$89.00
Religion im Fokus der Integrationspolitik
$59.99
Fifty Years of Regional Science
$169.99
Intellectual Disabilities: Health and Social Care Across the Lifespan
$39.99
Stoffwechsel und Energiewechsel
$54.99
Nonlinear Evolution and Chaotic Phenomena
$39.99
Einstufige Juristenausbildung
$59.99
Smart Cities
$179.99
Handbuch der Gerichtlichen Psychiatrie
$84.99
Pseudomonas
$219.99
The Spooky Wheels On The Bus
$4.49
In the Woods
$3.71
The Effects of Farm and Food Policy on Obesity in the United States
$159.99
Cross-border Shadow Education and Critical Pedagogy
$139.99
Spezialprobleme der internationalen Werbebudgetierung
$64.99
Zinsstrukturmodelle
$69.99
Computer Supported Cooperative Work in Design III
$84.99
Optimization, Variational Analysis and Applications
$199.99
Sustainable Waste Utilization in Bricks, Concrete, and Cementitious Materials
$179.99
