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

Improving Software Testing

$49.95

Coping with Demographic Change: A Comparative View on Education and Local Government in Germany and

$54.99

South Africa's Renegade Reels

$54.99

Idealism and Corporeity

$84.99

Becoming a Mathematics Teacher

$84.99

Production Technology of Stone Fruits

$199.99

Liquid-Metal Heat Transfer Media

$109.99

Scholastic Success With Addition & Subtraction: Grade 1 Workbook

$5.24

Fear in the Medical and Literary Imagination, Medieval to Modern

$109.99

Revolutionary Committees in the Cultural Revolution Era of China

$59.99

Staatsverschuldung und Verwaltungsreform in der Demokratie

$59.99

Applications of Algebra to Communications, Control, and Signal Processing

$59.99

Congenital Displacement of the Hip Joint

$39.99

Strahlengefahrdung und Strahlenschutz / Radiation Exposure and Radiation Protection

$59.99

Marine Concrete

$84.99

Karen's Ghost (Baby-Sitters Little Sister #12)

$5.24

Systems Biology

$169.00

Die Picksche Krankheit

$54.99

The Value of Systems and Complexity Sciences for Healthcare

$84.99

Sustainable Transportation

$44.99

Methods of Graded Rings

$39.99

Digital occupants Wie digitale Medien die kommunikative Aushandlung von Freundschaften verndern

$84.99

Nondestructive Characterization and Imaging of Wood

$329.99

Michael Oakeshotts Cold War Liberalism

$54.99

Science Education and Citizenship

$39.99

Lie Algebras and Applications

$69.99

Extraction, Characterization, and Functional Assessment of Bioactive Compounds

$169.99

The Phylogenetic Classification of Diptera Cyclorrhapha

$54.99

Jugendzeit Time Out?

$64.99

Transformations of the Swedish Welfare State

$84.99

Indias Evolving Deterrent Force Posturing in South Asia

$109.00

Computational Intelligence in Medical Informatics

$219.99

Translating Molecular Biomarkers into Clinical Assays

$129.00

Introduction to Relation Algebras

$49.99

The Monge-Ampre Equation

$149.00

Geometry of Knowledge for Intelligent Systems

$84.99

Topics in Cryptology -- CT-RSA 2014

$54.99

Aspects of Calculus

$39.99

Institutional Reforms, Governance, and Services Delivery in the Global South

$109.00

Witchlings

$6.74