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

Trade and Technology Networks in the Chinese Textile Industry

$129.99

Me.Jane (Hardcover)

$17.99

Foreign Direct Investment

$109.99

Function and Regulation of Monoamine Enzymes

$89.00

Introduction to Designing Environments

$139.00

Developments in Rubber Technology2

$39.99

Bifurcation and Degradation of Geomaterials in the New Millennium

$129.00

Internet of ThingsApplications and Future

$219.99

Clinical Proteomics

$199.99

Surgical Anatomy and Technique

$54.99

The Counter-Revolution in Diplomacy and Other Essays

$54.99

Interactive and Dynamic Graphics for Data Analysis

$54.99

Hepatitis E Virus

$54.99

Projektvertrge im Anlagenbau und fr vergleichbare Investitionsprojekte

$59.99

Biegewechselversuche mit Flachproben aus Alpha-Eisen-Einkristallen zur Bestimmung der Wechselfestigk

$59.99

Bevlkerung

$49.99

Computational Methods in Hypersonic Aerodynamics

$219.99

Immigrant and Refugee Voices Grades 6-8

$56.00

Field Arithmetic

$119.00

Teaching EFL Writing in the 21st Century Arab World

$54.99

Poetry and Public Discourse in Nineteenth-Century America

$54.99

Interventional Urology

$89.00

Statistical Implicative Analysis

$219.99

Computer Applications for Handling Legal Evidence, Police Investigation and Case Argumentation

$169.00

Diamond: Electronic Properties and Applications

$219.99

A Modern Economic History of Emerging Markets (19502020)

$109.00

Hygienisches Taschenbuch

$44.99

Genomics of Soil- and Plant-Associated Fungi

$129.00

Neue Entwicklungen im Management

$59.99

Cheesemaking Practice

$229.00

Soybean Utilization

$54.99

Engagement, Biographie und Erwerbsarbeit

$59.99

China's Governance

$59.99

Interactive Multimedia on Next Generation Networks

$54.99

High Performance Computing Systems

$54.99

My Health: What Makes You Cough, Sneeze, Burp, Hiccup, Blink, Yawn, Sweat, and Shiver?

$5.21

Hauttransplantation

$119.99

Rereading Shepard

$129.00

Erfolg im Compliance Management

$44.99

UNIX-Werkzeuge

$39.99