Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Programming Logics
Best Price:
Buy Programming Logics for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Finite Element Analysis on Badminton Racket Design Parameters
$54.99
Deutsches Verfassungsrecht 1806 - 1918
$379.99
Indigeneity, Globalization, and African Literature
$54.99
Sponsoring-Wirkung auf das Kaufverhalten
$64.99
The Calculus of Life
$54.99
Optical Absorption of Impurities and Defects in Semiconducting Crystals
$109.99
Kooperation und Kompetition im Videospiel
$44.99
Methods of Moments and Semiparametric Econometrics for Limited Dependent Variable Models
$74.99
Drama
$9.74
Wissensmanagement
$84.99
Der Einsatz der Bundeswehr in Afghanistan
$39.99
The Spirit of Entrepreneurship
$54.99
Walter Foster Learn to Draw Series - Military Machines
$9.95
Offene und digitale kosysteme
$49.99
Advances in Urban Geotechnical Engineering
$129.00
Der Schutz und die Frderung kultureller Vielfalt im Welthandelsrecht
$129.99
Multimessenger Astronomie
$34.99
Ecotoxicology in Theory and Practice
$169.99
Managing Forest Ecosystems: The Challenge of Climate Change
$169.99
Absolute Obstetric Anesthesia Review
$69.99
Advanced Biological Treatment Processes
$169.00
Cross-Sectional Imaging of the Abdomen and Pelvis
$279.99
Management sozialwirtschaftlicher Organisationen
$24.99
Wittgenstein's Ethical Thought
$54.99
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries
$169.99
Metzler Lexikon Fremdsprachendidaktik
$39.99
Human Trafficking: A Global Health Emergency
$99.99
Customer-Lifetime-Value-Management
$34.99
Unheard Voices
$109.99
The Effect of Managerial Experiences on Strategic Sensemaking
$39.99
Die Beschftigungssituation von wissenschaftlichem Nachwuchs
$79.99
The Value-Added Tax: Orthodoxy and New Thinking
$109.99
Advances in Information Security and Assurance
$109.99
Gene Therapy and Gene Delivery Systems
$169.00
Qualitt und Testbarkeit hochintegrierter Schaltungen
$69.99
Technischer Lrmschutz
$239.00
Gravity, Weight and Their Absence
$54.99
Creating Flash Widgets with Flash CS4 and ActionScript 3.0
$24.99
Health Care in Eleventh-Century China
$139.99
