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

$39.99
@ Link.springer.com     BUY Now

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

$39.99
See Site In stock Visit Store

Similar Products

Ethical Decision Making: Introduction to Cases and Concepts in Ethics

$69.99

Handbook on 3D3C Platforms

$109.99

Verwaltung und Verwaltungsvorschriften

$69.99

Friedrich Schlegel

$69.99

Kreatives Konfliktmanagement im Gesundheits- und Krankenpflegebereich

$44.99

Designing Public Procurement Policy in Developing Countries

$109.99

Google Cloud Platform (GCP) Professional Cloud Network Engineer Certification Companion

$59.99

The Girl

$109.99

I Love You Little, I Love You Lots (Hardcover)

$13.49

New Media Pedagogy: Research Trends, Methodological Challenges and Successful Implementations

$64.99

Neue Technologien in der Industrieverwaltung

$69.95

The Trust Economy

$19.99

Euro-Par 2023: Parallel Processing Workshops

$74.99

La luz y los colores para los ms curiosos

$5.96

Der Heidelberg Karl-Theodor-Globus von 1751 bis 2000

$59.99

The State of Interpretation of Keynes

$84.99

Passive and Active Measurement

$54.99

Fernsehtextualitt und Rezeption

$49.99

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

$54.99

The Art of Reinforcement Learning

$59.99

Podcasting

$29.99

Complex Systems Design & Management

$169.99

Sozialpolitik in Deutschland

$39.99

Mechanische Anisotropie

$84.99

Physics and Astrophysics of Ultra High Energy Cosmic Rays

$84.99

Sustainability Standards and Global Governance

$59.99

White Women Captives in North Africa

$159.99

Chaos

$49.99

Information Theory for Complex Systems

$129.99

Practical Rails Projects

$34.99

The Siberian Sturgeon (Acipenser baerii, Brandt, 1869)

$219.99

Parallel Computing 1988

$39.99

New Advances in Heart Failure and Atrial Fibrillation

$169.99

An Introduction to Structural Mechanics for Architects

$89.99

German and Irish Immigrants in the Midwestern United States, 18501900

$129.99

Building Successful Partnerships

$84.99

Young People Shaping Democratic Politics

$139.99

Applied Decision Support with Soft Computing

$129.00

Agents and Data Mining Interaction

$44.99

Pro WCF 4

$39.99