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

Programming Logics

Programming Logics

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

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology.

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

Determinanten der Sportrezeption

$79.99

Security of FPGA-Accelerated Cloud Computing Environments

$89.99

Once Upon A Time In England by Helen Walsh

$18.00

Plant Pathogenic Bacteria

$219.99

The Palgrave Handbook of Disability at Work

$149.00

Photodegradation of Polymers

$39.99

Johannes Philoponos

$59.99

Single-Molecule Electronics

$129.99

Discussing Migraine With Your Patients

$109.99

Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018)

$219.99

Methoden- und Praxisbuch der Sensorischen Aktivierung

$59.99

Chato Y Los Amigos Panchangueros

$6.50

Markenwirkungen in der Automobilzulieferindustrie

$79.99

Die Anwendung hoher Ueberhitzung beim Betrieb von Dampfturbinen

$59.99

Successful Test Management

$54.99

Literary Translation

$39.99

Progress in Artificial Life

$39.99

Indexed Categories and Their Applications

$54.99

World Forests, Society and Environment

$219.99

Now You Know.: Now You Know How It Works (Hardcover)

$13.49

Model Theory in Algebra, Analysis and Arithmetic

$64.99

Micro Total Analysis Systems 2000

$219.99

Symmetries and Dynamics of Star Clusters

$109.99

Strungen in der Frequenz und Rhythmik des Pulses

$59.99

Kompendium Alkohol

$139.99

Personal Satellite Services

$54.99

Rechte Netzwerke eine Gefahr

$49.99

Wordsworth: A Poets History

$84.99

Die Strafe im chinesischen Recht

$59.99

The Early Computer Industry

$109.99

Praktische Unfall- und Invalidenbegutachtung

$59.99

Vedantic Approaches to God

$84.99

Beschaffungsplanung und Budgetierung

$59.99

Methicillin-Resistant Staphylococcus aureus (MRSA) Protocols

$89.00

Biopolitical Experience

$54.99

Man as Witch

$139.99

Professional Practice Discourse Marginalia

$39.99

Werkstoffkunde fr die Elektrotechnik

$79.99

Offender Supervision in Europe

$54.99

Muslim Women between Community and Individual Rights

$89.00