Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Automatic Program Development

Best Price (Coupon Required):
Buy Automatic Program Development for $76.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$76.50
@ Link.springer.com with extra coupon

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
$84.99 $84.99

10% OFF
This deals requires coupon
$76.50
See Site In stock Visit Store

Product Details

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

Automatic Program Development is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his honor in the Higher-Order and Symbolic Computation Journal in the years 2003 and 2005. Among them there are two papers by Bob: (i) a retrospective view of his research lines, and (ii) a proposal for future studies in the area of the automatic program derivation. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member. All papers are related to some of the research interests of Bob and, in particular, to the transformational development of programs and their algorithmic derivation from formal specifications. Automatic Program Development offers a renewed stimulus for continuing and deepening Bob's research visions. A familiar touch is given to the book by some pictures kindly provided to us by his wife Nieba, the personal recollections of his brother Gary and some of his colleagues and friends.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Schne bunte Arbeitswelt

Schne bunte Arbeitswelt

$64.99
Modern Mathematical Tools and Techniques in Capturing Complexity

Modern Mathematical Tools and Techniques in Capturing Complexity

$219.99
Forensic DNA Typing Protocols

Forensic DNA Typing Protocols

$119.00
Integrating Meta-Heuristics and Machine Learning for Real-World Optimization Problems

Integrating Meta-Heuristics and Machine Learning for Real-World Optimization Problems

$159.99
Die deutsche Arbeiterversicherung im Kampfe gegen die Tuberkulose

Die deutsche Arbeiterversicherung im Kampfe gegen die Tuberkulose

$59.99
All Too Human

All Too Human

$109.99
Quantum Neural Computation

Quantum Neural Computation

$219.00
Urban Heritage Management

Urban Heritage Management

$119.99
Implicit Incentives in International Joint Ventures

Implicit Incentives in International Joint Ventures

$54.99
Wissensbestnde (be)herrschen(d)

Wissensbestnde (be)herrschen(d)

$79.99
Metaheuristics for Scheduling in Industrial and Manufacturing Applications

Metaheuristics for Scheduling in Industrial and Manufacturing Applications

$169.99
Leitfaden fr die Frsterprfungen

Leitfaden fr die Frsterprfungen

$59.99
Autonome Mobile Systeme 1999

Autonome Mobile Systeme 1999

$69.99
Die Bodenuntersuchung und ihre Methoden in Brasilien

Die Bodenuntersuchung und ihre Methoden in Brasilien

$59.99
Werbemonitoring

Werbemonitoring

$49.99
Cultural Constructions of Madness in Eighteenth-Century Writing

Cultural Constructions of Madness in Eighteenth-Century Writing

$54.99
Knee Imaging

Knee Imaging

$54.99
Cohomological Theory of Dynamical Zeta Functions

Cohomological Theory of Dynamical Zeta Functions

$199.99
Equal Pay for Work of Equal Value

Equal Pay for Work of Equal Value

$44.99
The Catholic Church in Taiwan

The Catholic Church in Taiwan

$109.99
Developments in Design Research and Practice

Developments in Design Research and Practice

$169.00
Reconstruction-Free Compressive Vision for Surveillance Applications

Reconstruction-Free Compressive Vision for Surveillance Applications

$44.99
Social Computing, Behavioral-Cultural Modeling and Prediction

Social Computing, Behavioral-Cultural Modeling and Prediction

$39.99
Inflammatory Mediators

Inflammatory Mediators

$69.99
Hierarchische Produktionsplanung

Hierarchische Produktionsplanung

$59.99
Introduction to Insect Biotechnology

Introduction to Insect Biotechnology

$79.99
E-Collaboration

E-Collaboration

$79.99
Hemostasis and Thrombosis

Hemostasis and Thrombosis

$109.99
Young Women's Favorites Grades 7-10

Young Women's Favorites Grades 7-10

$120.00
Advances in Information Retrieval

Advances in Information Retrieval

$119.99
Political Symbols and National Identity in Timor-Leste

Political Symbols and National Identity in Timor-Leste

$59.99
Parallele und verteilte Programmierung

Parallele und verteilte Programmierung

$54.99
The Political Economy of Normative Trade Power Europe

The Political Economy of Normative Trade Power Europe

$54.99
Detection of Mitochondrial Diseases

Detection of Mitochondrial Diseases

$169.00
Machine Learning

Machine Learning

$219.00
Essays in the Theory of Economic Growth

Essays in the Theory of Economic Growth

$109.99
Statistical Modeling for Computer-Aided Design of MOS VLSI Circuits

Statistical Modeling for Computer-Aided Design of MOS VLSI Circuits

$109.99
A Return to Free Market Economics?

A Return to Free Market Economics?

$19.99
Neurotrophic Factors

Neurotrophic Factors

$89.00
Psychologie und Klimakrise

Psychologie und Klimakrise

$17.99
previous
next