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

Essential Ordinary Differential Equations

Essential Ordinary Differential Equations

$37.99
Agent-Based Simulation of Vulnerability Dynamics

Agent-Based Simulation of Vulnerability Dynamics

$109.99
The Performance Economy

The Performance Economy

$109.00
Introduction to Blender 3.0

Introduction to Blender 3.0

$69.99
Authigenic Minerals in Sedimentary Rocks

Authigenic Minerals in Sedimentary Rocks

$39.99
Keats's Places

Keats's Places

$139.99
The Social Production of Scientific Knowledge

The Social Production of Scientific Knowledge

$169.99
Systems Biology and Computational Proteomics

Systems Biology and Computational Proteomics

$39.99
Selected Papers

Selected Papers

$54.99
Wireless Power Transfer

Wireless Power Transfer

$179.99
Verdeckte strafprozessuale Ermittlungsmanahmen

Verdeckte strafprozessuale Ermittlungsmanahmen

$119.00
Automated Invention for Smart Industries

Automated Invention for Smart Industries

$54.99
Mathematics for Earth Science and Geography

Mathematics for Earth Science and Geography

$54.99
Gruppen und Teamorganisation

Gruppen und Teamorganisation

$79.99
Lungen- und Rippenfellentzndung

Lungen- und Rippenfellentzndung

$59.99
Operative Manual of Endoscopic Surgery 2

Operative Manual of Endoscopic Surgery 2

$39.99
Manual of Internal Fixation in Animals

Manual of Internal Fixation in Animals

$109.00
Acetabular Dysplasia

Acetabular Dysplasia

$129.00
Informal Coalitions

Informal Coalitions

$79.99
Plattenbausanierung

Plattenbausanierung

$39.99
Elderly Care, Intergenerational Relationships and Social Change in Rural China

Elderly Care, Intergenerational Relationships and Social Change in Rural China

$84.99
PCR Primer Design

PCR Primer Design

$169.99
Agricultural Policy in Developing Countries

Agricultural Policy in Developing Countries

$169.00
Cooperative Information Agents X

Cooperative Information Agents X

$54.99
Francis Bacon on Motion and Power

Francis Bacon on Motion and Power

$84.99
Illustrated Handbook of Succulent Plants: Dicotyledons

Illustrated Handbook of Succulent Plants: Dicotyledons

$379.99
Gieereimodelle

Gieereimodelle

$69.95
Frontiers in Bioactive Lipids

Frontiers in Bioactive Lipids

$169.99
Computed Tomography

Computed Tomography

$84.99
Liver Cancer

Liver Cancer

$169.00
Technological Transformation

Technological Transformation

$54.99
Public Choice Essays in Honor of a Maverick Scholar: Gordon Tullock

Public Choice Essays in Honor of a Maverick Scholar: Gordon Tullock

$109.99
Lower Abdominal and Perineal Surgery

Lower Abdominal and Perineal Surgery

$109.99
Applications and Innovations in Intelligent Systems XV

Applications and Innovations in Intelligent Systems XV

$219.99
Dismantling the Mexican State?

Dismantling the Mexican State?

$74.99
The Challenge of Developing Statistical Literacy, Reasoning and Thinking

The Challenge of Developing Statistical Literacy, Reasoning and Thinking

$219.00
Theory of Stochastic Processes

Theory of Stochastic Processes

$39.99
Mikroelektronik in sterreich

Mikroelektronik in sterreich

$59.99
Existential-Integrative Approaches to Treating Adolescents

Existential-Integrative Approaches to Treating Adolescents

$119.99
Bright Modernity

Bright Modernity

$159.99
previous
next