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
Why Every Fly Counts
$29.99
Rickettsiosen und Protozoenkrankheiten
$59.99
Complex Analysis II
$44.99
Principles and Practice of Constraint Programming
$54.99
An Introduction to Continuum Mechanics - after Truesdell and Noll
$219.99
Key Aspects of German Employment and Labour Law
$84.99
A Soft Place to Land
$7.46
Praktische Stanzerei Ein Buch fr Betrieb und Bro mit Aufgaben und Lsungen
$59.99
Jugendliche im Abseits
$49.99
Aging and the Brain
$39.99
Strategische identittsorientierte Markenfhrung
$64.99
The Pioneer Woman Cooks - The New Frontier - 112 Fantastic Favorites for Everyday Eating by Ree Drummond
$29.99
Raman Spectroscopy of Gases and Liquids
$84.99
Karl Lwith: Heidegger Denker in drftiger Zeit
$29.99
Praktikum der kleinen Chirurgie
$69.99
Design, Control, and Operation of Microgrids in Smart Grids
$159.99
Wirtschaftsgeschichte
$59.99
Participatory Governance in the EU
$54.99
Subverting Mainstream Narratives in the Reagan Era
$79.99
Child Law
$84.99
Linear Optimization and Approximation
$54.99
Five Nights at Freddy's: Fazbear Frights Graphic Novel Collection Vol. 2 (Hardcover)
$18.74
Windkraftanlagen
$69.99
Journalism, Audiences and Diaspora
$54.99
Ecosystem Ecology and Geochemistry of Cuatro Cienegas
$109.99
ber den Gehalt von Vitamin C in Pflanzen
$84.99
Smart Materials-Based Actuators at the Micro/Nano-Scale
$169.99
Iteration Theories
$109.99
Hochfrequenz-Nachrichtentechnik fr Elektrizittswerke
$59.99
The Route to Patient Safety in Robotic Surgery
$139.00
Many Valued Topology and its Applications
$109.99
Glcklich im Job mit Hygge
$24.99
Lunar Outpost
$44.99
Die Theorie der Elektrolytischen Dissociation
$59.99
Laser Drilling
$54.99
Sexual Differentiation
$219.99
The Symbolic Computation of Integrability Structures for Partial Differential Equations
$119.99
Religion im Zentrum der Macht
$39.99
Intelligent Information Processing with Matlab
$159.99
Industrial Research Performance Management
$109.99
