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

Handbook of Cultural Factors in Behavioral Health

Handbook of Cultural Factors in Behavioral Health

$109.99
Untersuchungen ber den Farbwechsel von Blumenblttern, Frchten und Samenschalen

Untersuchungen ber den Farbwechsel von Blumenblttern, Frchten und Samenschalen

$59.99
The Beginnings of Cancer in the Cell

The Beginnings of Cancer in the Cell

$39.99
IT-Projekte strukturiert realisieren

IT-Projekte strukturiert realisieren

$49.99
Intelligence and Security Informatics

Intelligence and Security Informatics

$39.99
Tidal Streams in the Local Group and Beyond

Tidal Streams in the Local Group and Beyond

$84.99
Zauberkreide

Zauberkreide

$19.99
The Knowledge Economy in India

The Knowledge Economy in India

$109.99
Artificial Neural Nets and Genetic Algorithms

Artificial Neural Nets and Genetic Algorithms

$109.99
Technischer Lrmschutz

Technischer Lrmschutz

$239.00
Computer Simulation Studies in Condensed-Matter Physics VII

Computer Simulation Studies in Condensed-Matter Physics VII

$109.99
Understanding Populist Party Organisation

Understanding Populist Party Organisation

$119.99
Resilience and the EU's Eastern Neighbourhood Countries

Resilience and the EU's Eastern Neighbourhood Countries

$109.99
The Physics of Polymers

The Physics of Polymers

$89.99
Narrative and Desire in Russian Literature, 182249

Narrative and Desire in Russian Literature, 182249

$34.99
The Nonuniform Discrete Fourier Transform and Its Applications in Signal Processing

The Nonuniform Discrete Fourier Transform and Its Applications in Signal Processing

$169.99
Introduction to Fractional and Pseudo-Differential Equations with Singular Symbols

Introduction to Fractional and Pseudo-Differential Equations with Singular Symbols

$54.99
Developing with Google App Engine

Developing with Google App Engine

$29.99
Atlas der rntgenologischen Memethoden

Atlas der rntgenologischen Memethoden

$59.99
Exam Survival Guide: Physikalische Chemie

Exam Survival Guide: Physikalische Chemie

$29.99
Patch-Based Techniques in Medical Imaging

Patch-Based Techniques in Medical Imaging

$54.99
Foster's War

Foster's War

$5.24
Mobilitt 4.0   neue Geschftsmodelle fr Produkt- und Dienstleistungsinnovationen

Mobilitt 4.0 neue Geschftsmodelle fr Produkt- und Dienstleistungsinnovationen

$54.99
Accessible HiLo Favorites Grades PreK-2 Collection

Accessible HiLo Favorites Grades PreK-2 Collection

$195.00
Software Composition

Software Composition

$54.99
Educating Future Teachers: Innovative Perspectives in Professional Experience

Educating Future Teachers: Innovative Perspectives in Professional Experience

$139.99
Magnetism: A Supramolecular Function

Magnetism: A Supramolecular Function

$329.99
Elementarmathematik Vom Hheren Standpunkte Aus

Elementarmathematik Vom Hheren Standpunkte Aus

$49.99
Computational Science and Its Applications  ICCSA 2021

Computational Science and Its Applications ICCSA 2021

$84.99
Wissenschaftsbindung der Technik

Wissenschaftsbindung der Technik

$59.99
Incompressible Bipolar and Non-Newtonian Viscous Fluid Flow

Incompressible Bipolar and Non-Newtonian Viscous Fluid Flow

$109.99
Fhrungsstile: Prominenten und Persnlichkeiten ber die Schulter geschaut

Fhrungsstile: Prominenten und Persnlichkeiten ber die Schulter geschaut

$19.99
A Critical Companion to Neil Gaiman's

A Critical Companion to Neil Gaiman's "Neverwhere"

$39.99
Erfolgsfaktor Markt

Erfolgsfaktor Markt

$49.99
The Future of Scholarly Writing

The Future of Scholarly Writing

$39.99
Wachstumshormon und Wachstumsstrungen Das Cushing-Syndrom

Wachstumshormon und Wachstumsstrungen Das Cushing-Syndrom

$59.99
Literatur des Realismus

Literatur des Realismus

$59.99
PsyConversion

PsyConversion

$29.99
Current Topics of Infectious Diseases in Japan and Asia

Current Topics of Infectious Diseases in Japan and Asia

$169.99
Introductory Microbiology

Introductory Microbiology

$54.99
previous
next