Copied Automatic Program Development
Automatic Program Development
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.
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
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
