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

Big Data and Cloud Computing

$299.99

Leadership and Calling Through the Prism of Scripture

$149.00

The Chinese Constitution of Central Asia

$54.99

International Economic Association Monopoly and Competition Regulation

$84.99

Fourier Analysis and Nonlinear Partial Differential Equations

$89.00

Das Gewinner-Prinzip

$49.99

Zielvereinbarungen in Unternehmen

$54.99

Robotergefhrtes Laserstrahlschweien mit Steuerung der Polarisationsrichtung

$59.99

A Transpacific Imagination of Theology, Ethics, and Spiritual Activism

$99.00

Perspectives on Lifelong Learning and Global Citizenship

$54.99

Clinical MR Imaging and Physics

$54.99

Multiparadigm Constraint Programming Languages

$84.99

Rosa

$6.71

Port State Jurisdiction and the Regulation of International Merchant Shipping

$109.99

Magnetic Resonance Techniques in Clinical Trials in Multiple Sclerosis

$39.99

Cognitive Processes and Spatial Orientation in Animal and Man

$219.99

Next Generation Science Standards Collection Grade 2

$245.00

Meta-Ecclesiology

$139.99

Rheology and Processing of Construction Materials

$219.99

From Sources to Solution

$169.00

Marxist Historical Cultures and Social Movements during the Cold War

$139.99

Corporate Social Responsibility in a Dynamic Global Environment

$179.99

Global Indigenous Communities

$49.99

From After Effects to Flash

$49.99

Ich gebe, damit Du gibst

$64.99

MUBI and the Curation Model of Video on Demand

$79.99

Machine Learning Methods for Behaviour Analysis and Anomaly Detection in Video

$84.99

Innerparteiliche Gruppierungen in der SPD

$59.99

Gasdynamik

$79.99

The Online Informal Learning of English

$84.99

Naive Semantics for Natural Language Understanding

$169.99

Formal Descriptions of Developing Systems

$109.99

Psychometric Framework for Modeling Parental Involvement and Reading Literacy

$59.99

Elektroakustik

$99.99

Grundkurs Programmieren mit Visual Basic

$19.99

Methods and Techniques in Ethnobiology and Ethnoecology

$169.99

Psychoanalyzing Cinema

$39.99

Transiente Fehler in Mikroprozessoren

$74.99

The Service Productivity and Quality Challenge

$169.99

Crusade against Drink in Victorian England

$169.99