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
STEAM Grades 3-5
$245.00
Protein Sequence Determination
$84.99
Grundri der Astronomie
$49.99
Current Concepts in Ophthalmology
$69.99
Shaping British Foreign and Defence Policy in the Twentieth Century
$99.00
Collective Ion Acceleration
$39.99
The Structure and Governance of Public Service Broadcasting
$69.99
Polymer Synthesis: Theory and Practice
$99.99
Experimentelle Beitrge zur Bestgestaltung der Handarbeit
$59.99
Climate Change and Environmental Sustainability
$249.99
Plasticity of Boronized Layers
$84.99
Hast Du auch hohes Cholesterin?
$17.99
Citizenship, Democracy and Higher Education in Europe, Canada and the USA
$54.99
Norms and Actions
$54.99
GIS for Emergency Preparedness and Health Risk Reduction
$169.99
Gruppenorientierte Fertigungsstrukturen im Maschinenbau
$59.99
The Management of Science
$109.99
Zur Differenzierung von Handlungsfeldern im Coaching
$74.99
Hydrotherapie Elektrotherapie Massage
$99.99
Microbial Ecotoxicology
$199.99
Stereo Operative Atlas of Micro Ear Surgery
$139.99
Drafting the EU Charter
$54.99
Africa Now!
$179.99
Natural Language Processing and Information Systems
$54.99
Advances in Mechanical Engineering
$169.99
Automated Technology for Verification and Analysis
$39.99
Effective Methods for Integrated Process Planning and Scheduling
$169.99
Beverages: Technology, Chemistry and Microbiology
$119.99
Grundstcke vererben und verschenken
$64.99
Das Personal in der Weiterbildung
$74.99
Jamming and Glass Transitions
$109.99
Captain Underpants and the Attack of the Talking Toilets (#2) (Color Edition) (Hardcover)
$7.49
Surface Patterning with Colloidal Monolayers
$109.99
Public Marketing
$34.99
Community Energy Networks With Storage
$109.99
IUTAM Symposium on Nonlinear Stochastic Dynamics
$169.99
Bloom of the Flower Dragon: A Branches Book (Dragon Masters #21)
$4.49
Social Policy in Western Europe and the USA, 195080
$109.99
Vapor Liquid Two Phase Flow and Phase Change
$119.99
A Textbook on Ordinary Differential Equations
$44.99
