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

Automatic Program Development

Automatic Program Development

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
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

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

$84.99
See Site In stock Visit Store

Similar Products

Versicherungswirtschaftslehre

$59.99

Boden und Dngemittel

$64.99

Approximate Reasoning by Parts

$219.99

Tiergesttzte Pdagogik Soziale Teilhabe Inklusive Prozesse

$79.99

Geophysics of the Canary Islands

$109.99

Die Tuberkulose und ihre Bekmpfung durch die Schule

$44.99

Unannehmbar-Sein

$39.99

System Design Modeling and Metamodeling

$169.99

Coolness, Scham und Wut bei Jugendlichen

$24.99

Lexical Semantics and Knowledge Representation in Multilingual Text Generation

$129.00

A Study of the Movement of Spiritual Awareness

$54.99

Die Einsamkeiten der Moderne

$64.99

Klimawirksame Kennzahlen fr Europa und Eurasien

$17.99

Local Disturbance Decoupling with Stability for Nonlinear Systems

$39.99

Die Raumordnung Drngt

$59.99

The application and numerical solution of integral equations

$54.99

Our Vanishing Relative

$169.99

Generalized Convexity and Generalized Monotonicity

$109.99

Mental Imagery

$109.99

Interdisciplinarity in Technology Assessment

$54.99

Pragmatic Power

$19.99

America at Work

$54.99

Industry 4.0

$179.99

Populist Governance in Brazil

$119.99

Packet-Based Control for Networked Control Systems

$109.99

Problemlsen durch heuristische Suche in der Artificial Intelligence

$59.99

Reproduction in New World Primates

$84.99

Race, Education, and Citizenship

$119.99

Distant Hybridization of Crop Plants

$84.99

Proceedings of the 3rd International Symposium of Information and Internet Technology (SYMINTECH 201

$219.99

Beginning Java 17 Fundamentals

$69.99

Assessing the Quality of Experience of Cloud Gaming Services

$109.99

Struktur und Dynamik Un/Gleichzeitigkeiten im Geschlechterverhltnis

$39.99

Tribology of Nanocomposites

$109.99

Guanidines

$84.99

Dieselmotor-Management

$54.99

Towards the Automatization of Cranial Implant Design in Cranioplasty II

$59.99

Fundamentals of Hopf Algebras

$64.99

The Spectacle of Politics and Religion in the Contemporary Turkish Cinema

$39.99

Orthopedic Rehabilitation

$64.99