Automatic Program Development: A Tribute to Robert Paige
Sprache: Englisch
Verlag: Springer, 2010
- Softcover
- Gebraucht

Anbieter: Mispah books, Redhill, Surrey, Vereinigtes KönigreichMispah books
Verkäufer:in bei AbeBooks seit 15. April 2021
Zustand: Gebraucht - Wie neu
EUR 210,62
Anzahl: 1 verfügbar
In den WarenkorbArtikelbeschreibung des Verkäufers
LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS.
Bestandsnummer des Verkäufers ERICA78790481767436
- Titel
- Automatic Program Development: A Tribute to Robert Paige
- Verlag
- Springer
- Erscheinungsjahr
- 2010
- Zustand
- Like New
- Buchtyp
- book
- Einband
- Paperback
- Sprache
- Englisch
- ISBN-10
- 9048176743
- ISBN-13
- 9789048176748
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.
All of the papers are related to the research interests of Dr Paige, who died in 1999, and, in particular, to the transformational development of programs and their algorithmic derivation from formal specifications.
His colleagues, who include Olivier Danvy of the University of Aarhus in Denmark, and Alberto Pettorossi of the University of Rome ‘Tor Vergata’ in Italy, believe the book provides a renewed stimulus for continuing and deepening Dr Paige’s research vision.
Prof. Olivier Danvy is editor in chief of the Higher Order for Symbolic Computation journal.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
Über die Autorin bzw. den Autor
Prof. Olivier Danvy is editor in chief of the Higher Order for Symbolic Computation journal, and is also editor for two books in the LNCS series.
This book is written for Dr. Robert (Bob) Paige. Bob Paige, a professor of computer science and a leading researcher in the area of programming languages and transformational programming. Dr. Paige was the author of many research papers, covering related topics in programming languages, compilers, algorithms, and database design. An invited speaker at conferences and university seminars around the world, he also served regularly as a reviewer of research projects for major government agencies. He was a devoted mentor of PhD students who today hold research positions at leading universities and research centers.
„Über diesen Titel“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
Mispah books
Redhill, Surrey, Vereinigtes Königreich
Verkäufer:in bei AbeBooks seit 15. April 2021
Versandkosten von Vereinigtes Königreich nach USA
| Artikel | 14 bis 15 Werktage | 9 bis 10 Werktage |
|---|---|---|
| Erster Artikel | EUR 29,90 | EUR 32,29 |
Zahlungsarten
Shopbeschreibung
We have collection of General books ,Science Books, Fiction & Academic Books. we ship from multiple location. Delhi, US and UK Return Address Mispah books 1A Beechwood Villas, Salford Redhill , Surrey RH1 5EY United Kingdom
Spezialisierung
Fiction & Academic Books, Science, GeneralUnternehmensdaten der Verkäuferin bzw. des Verkäufers
Mispah books
Vereinigtes Königreich
Verkaufsbedingungen
We offer excellent customer service & easy return facility.
we ship from Multiple location,UK,India,US
Return address:
Mispah books
flat4 ,
Centenary court, 30 Warwick Road
Redhill , SURRE RH1 1FQ
United Kingdom
Widerrufsrecht
Wenn Sie Verbraucher sind, können Sie gemäß den folgenden Bestimmungen vom Vertrag zurücktreten. Verbraucher ist jede natürliche Person, die zu Zwecken handelt, die nicht ihrer kaufmännischen, gewerblichen, künstlerischen oder beruflichen Tätigkeit zugerechnet werden können.
Informationen zum Widerrufsrecht
Gesetzliches Widerrufsrecht
Sie haben das Recht, den Vertrag innerhalb von 14 Tagen ohne Angabe von Gründen zu widerrufen.
Die Widerrufsfrist beträgt 14 Tage ab dem Tag, an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Transporteur ist, die letzte Ware oder den letzten Posten oder das letzte Exemplar in Besitz genommen hat.
Um das Widerrufsrecht auszuüben, füllen Sie auf unserer Website unter „Meine Einkäufe" in „Mein Nutzerkonto" eine eindeutige Erklärung elektronisch aus und senden Sie sie ab. Wir werden Ihnen unverzüglich eine Bestätigung über den Eingang eines solchen Widerrufs auf einem dauerhaften Datenträger (z. B. per E-Mail) übermitteln.
Um die Widerrufsfrist einzuhalten, reicht es aus, dass Sie Ihre Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Auswirkungen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, erstatten wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die entstehen, wenn Sie eine andere Art der Lieferung als die von uns angebotene günstigste Standardlieferung gewählt haben).
Wir können einen Abzug von der Rückerstattung für den Wertverlust der gelieferten Waren vornehmen, wenn der Verlust auf eine unnötige Behandlung durch Sie zurückzuführen ist.
Wir werden die Rückerstattung unverzüglich und nicht später als 14 Tage nach dem Tag vornehmen, an dem wir über Ihre Entscheidung, diesen Vertrag zu widerrufen, informiert wurden.
Für die Rückerstattung verwenden wir dasselbe Zahlungsmittel, das Sie für die ursprüngliche Transaktion verwendet haben, es sei denn, Sie haben ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen aufgrund einer solchen Rückerstattung Gebühren berechnet.
Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, was eher eintritt.
Sie müssen die Waren unverzüglich und in jedem Fall spätestens 14 Tage ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an Mispah books, Redhill, Surrey, United Kingdom, zurücksenden oder übergeben. Die Frist ist eingehalten, wenn Sie die Ware vor Ablauf der Frist von 14 Tagen zurücksenden. Sie müssen die direkten Kosten der Rücksendung der Waren tragen. Sie haften nur für einen etwaigen Wertverlust der Waren, der auf eine Behandlung zurückzuführen ist, die nicht zur Prüfung der Art, Eigenschaften und Funktionsweise der Waren erforderlich ist.
Ausnahmen vom Widerrufsrecht
Das Widerrufsrecht gilt nicht für:
- Die Lieferung von Zeitungen, Zeitschriften oder Magazinen mit Ausnahme von Abonnementverträgen; und
- Die Lieferung digitaler Inhalte, die nicht auf einem physischen Medium (z. B. auf einer CD oder DVD) geliefert werden, wenn Sie bei Ihrer Bestellung akzeptiert haben, dass wir mit der Lieferung beginnen können und dass Sie nach Beginn der Lieferung den Vertrag nicht mehr widerrufen können.