Language: English
Published by John Wiley & Sons Inc, 1981
ISBN 10: 0471052787 ISBN 13: 9780471052784
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
gebundene Ausgabe. Condition: Gut. 386 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 640.
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 1015143601 ISBN 13: 9781015143609
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: English
Published by Hassell Street Press 9/10/2021, 2021
ISBN 10: 1015143601 ISBN 13: 9781015143609
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condition: New. Development of an Automatic Monitoring Program for the Control Data Corporation 1604 Data Processor. Book.
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 1015143601 ISBN 13: 9781015143609
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: BookDepart, Shepherdstown, WV, U.S.A.
Hardcover. Condition: UsedGood. Hardcover; light fading and shelf wear to the cover; bumps to the lower corners; previous owner's stamping on front end page; otherwise in good condition with clean text and tight binding. Dust jacket shows fading, light scuffing, and a few edge tears.
Published by John Wiley & Sons, 1981
Seller: The Story Shop, Elwood, IN, U.S.A.
Hardcover; Second Printing. Condition: Near Fine. Dust Jacket Condition: Very Good+ dust. 8vo; 372 pages.
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 1015143601 ISBN 13: 9781015143609
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 1015143601 ISBN 13: 9781015143609
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Condition: New.
Condition: Very Good. Some light marks to the cover. The book is clean and readable throughout, a decent copy.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Language: English
Published by Creative Media Partners, LLC Sep 2021, 2021
ISBN 10: 1015143601 ISBN 13: 9781015143609
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Neuware - This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.
Condition: New. pp. 288.
Language: English
Published by Springer Netherlands, 2010
ISBN 10: 9048176743 ISBN 13: 9789048176748
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 288 pages. 9.25x6.10x0.65 inches. In Stock.
Taschenbuch. Condition: Neu. Automatic Program Development | A Tribute to Robert Paige | Olivier Danvy (u. a.) | Taschenbuch | xiv | Englisch | 2010 | Springer | EAN 9789048176748 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Language: English
Published by Springer Netherlands, Springer Netherlands Jan 2008, 2008
ISBN 10: 1402065841 ISBN 13: 9781402065842
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Buch. Condition: Neu. Neuware -ż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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch.
Language: English
Published by Springer Netherlands, Springer Netherlands, 2008
ISBN 10: 1402065841 ISBN 13: 9781402065842
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - '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.
Language: English
Published by Springer Netherlands, 2010
ISBN 10: 9048176743 ISBN 13: 9789048176748
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - '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.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Publication Date: 2025
Seller: True World of Books, Delhi, India
LeatherBound. Condition: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. LeatherBound edition. Condition: New. Reprinted from 1961 edition. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. A perfect gift for your loved ones. Pages: 114 NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Pages: 114 Bradshaw, Brice L.
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 1015143601 ISBN 13: 9781015143609
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
£ 34.54
Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 156.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer Netherlands Jan 2008, 2008
ISBN 10: 1402065841 ISBN 13: 9781402065842
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. Among them there are two key papers: a retrospective view of his research lines, and 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. 312 pp. Englisch.
Language: English
Published by Springer Netherlands Okt 2010, 2010
ISBN 10: 9048176743 ISBN 13: 9789048176748
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. Among them there are two key papers: a retrospective view of his research lines, and 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. 288 pp. Englisch.
Language: English
Published by Springer Netherlands, 2008
ISBN 10: 1402065841 ISBN 13: 9781402065842
Seller: moluna, Greven, Germany
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Review of some techniques for automatic program developmentApplications of program transformation to algorithm derivationAlgorithm design methodology based on systematic derivations and applications in computer science and software engineer.
Language: English
Published by Springer Netherlands, 2010
ISBN 10: 9048176743 ISBN 13: 9789048176748
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Review of some techniques for automatic program developmentApplications of program transformation to algorithm derivationAlgorithm design methodology based on systematic derivations and applications in computer science and software engineer.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. 288.