Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Logic and Program Semantics

Logic and Program Semantics

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642294853
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Industry 4.0 and Advanced Manufacturing

$279.99

ECOOP 2013 -- Object-Oriented Programming

$54.99

Strategiekonzepte fr Biotechnologie-Unternehmen

$74.99

Deutschunterricht auf dem Prfstand

$49.99

Software Radio

$109.99

Conceiving Nature after Aristotle, Kant, and Hegel

$99.00

Das Zittern

$59.99

Knowledge Science, Engineering and Management

$79.99

Asymmetric Federalism in India

$139.99

Transactions on Large-Scale Data- and Knowledge-Centered Systems X

$54.99

Combat Modeling

$299.99

Nahost Jahrbuch 1995

$54.99

Kopplungserscheinungen zwischen ferromagnetischen Elementarprozessen

$59.99

Die Ostmarkenfrage und ihre Lsung

$59.99

Toward Well-Oiled Relations?

$84.99

The Elastic Closet

$109.99

Applied Metallurgy and Corrosion Control

$329.99

Complex Fluid-Flows in Microfluidics

$84.99

Masterpieces on Japan by Foreign Authors

$59.99

EMDR

$19.99

Grundlagen der Betriebswirtschaftslehre

$59.99

Wind Power Systems

$169.99

Activist Citizenship and the LGBT Movement in Serbia

$54.99

Peridynamic Theory and Its Applications

$109.99

The History of Reading, Volume 3

$39.99

Planimetrie

$59.99

Protein Secretion Pathways in Bacteria

$84.99

Schulreform Kontinuitten und Brche Das Versuchsfeld Berlin-Neuklln

$49.99

Combinatorial Optimization and Applications

$54.99

Bezaubernde Beweise

$39.99

1945 bis 2000 Ansichten zur deutschen Geschichte

$49.99

CSS for Windows 8 App Development

$44.99

Comparative Interpretation of CT and Standard Radiography of the Chest

$219.99

Chinese Burn Surgery

$219.99

Tracing Private Conversations in Early Modern Europe

$59.99

Education and Technology for a Better World

$84.99

Learning Systems

$54.99

Wild World-Fast and Slow: Mammals

$5.99

Power Electronics and Instrumentation Engineering

$39.99

Synergetik und Marktprozesse

$59.99