- 0 resultaten
laagste prijs: € 139,09, hoogste prijs: € 146,18, gemiddelde prijs: € 142,56
1
Automatic Program Development A Tribute to Robert Paige - Danvy, Olivier (Herausgeber); Henglein, Fritz (Herausgeber); Mairson, Harry (Herausgeber); Pettorossi, Alberto (Herausgeber)
bestellen
bij Achtung-Buecher.de
€ 139,09
verzending: € 0,00
bestellen
Gesponsorde link
Danvy, Olivier (Herausgeber); Henglein, Fritz (Herausgeber); Mairson, Harry (Herausgeber); Pettorossi, Alberto (Herausgeber):

Automatic Program Development A Tribute to Robert Paige - pocketboek

2010, ISBN: 9048176743

gebonden uitgave

Softcover reprint of hardcover 1st ed. 2008 Kartoniert / Broschiert, met couverture neu, [PU:Springer Netherlands; Springer Netherland]

Verzendingskosten:Geen versendingskosten in Duitsland. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
2
bestellen
bij Biblio.co.uk
$ 155,90
(ongeveer € 139,17)
verzending: € 11,61
bestellen
Gesponsorde link

Olivier Danvy (Editor), Fritz Henglein (Editor), Harry Mairson (Editor), Alberto Pettorossi (Editor):

Automatic Program Development: A Tribute to Robert Paige - pocketboek

2010, ISBN: 9789048176748

gebonden uitgave

Springer, 2010-11-29. Softcover reprint of hardcover 1. Paperback. Used:Good., Springer, 2010-11-29

Verzendingskosten: EUR 11.61 Ergodebooks
3
bestellen
bij AbeBooks.de
€ 146,18
verzending: € 6,25
bestellen
Gesponsorde link
Olivier Danvy (Editor), Fritz Henglein (Editor), Harry Mairson (Editor), Alberto Pettorossi (Editor):
Automatic Program Development: A Tribute to Robert Paige - pocketboek

2010

ISBN: 9048176743

[EAN: 9789048176748], Neubuch, [PU: Springer], Books

NEW BOOK. Verzendingskosten: EUR 6.25 Ergodebooks, RICHMOND, TX, U.S.A. [8304062] [Rating: 4 (von 5)]
4
bestellen
bij alibris.co.uk
€ 143,00
bestellen
Gesponsorde link
Danvy, Olivier (Editor), and Henglein, Fritz (Editor), and Mairson, Harry (Editor):
Automatic Program Development: A Tribute to Robert Paige - pocketboek

2010, ISBN: 9789048176748

Paperback, New., 272 p. XIV, 272 p., Dordrecht, [PU: Springer]

Verzendingskosten:exclusief verzendingskosten Alibris
5
Automatic Program Development - Olivier Danvy (editor), Fritz Henglein (editor), Harry Mairson (editor), Alberto Pettorossi (editor)
bestellen
bij Blackwells.co.uk
£ 121,99
(ongeveer € 145,34)
verzending: € 7,74
bestellen
Gesponsorde link
Olivier Danvy (editor), Fritz Henglein (editor), Harry Mairson (editor), Alberto Pettorossi (editor):
Automatic Program Development - pocketboek

ISBN: 9789048176748

paperback

in stock. Verzendingskosten:Unknown. (EUR 7.74) Blackwells.co.uk

Bijzonderheden over het boek
Automatic Program Development: A Tribute to Robert Paige

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.

Gedetalleerde informatie over het boek. - Automatic Program Development: A Tribute to Robert Paige


EAN (ISBN-13): 9789048176748
ISBN (ISBN-10): 9048176743
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer-Verlag/Sci-Tech/Trade
288 Bladzijden
Gewicht: 0,439 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-05-18T08:48:03+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2021-11-25T13:56:29+01:00 (Amsterdam)
ISBN/EAN: 9789048176748

ISBN - alternatieve schrijfwijzen:
90-481-7674-3, 978-90-481-7674-8


Gegevens van de uitgever

Auteur: Olivier Danvy; Fritz Henglein; Harry Mairson; Alberto Pettorossi
Titel: Automatic Program Development - A Tribute to Robert Paige
Uitgeverij: Springer; Springer Netherland
272 Bladzijden
Verschijningsjaar: 2010-10-19
Dordrecht; NL
Gedrukt / Gemaakt in
Gewicht: 0,444 kg
Taal: Engels
139,09 € (DE)
142,99 € (AT)
153,50 CHF (CH)
POD
XIV, 272 p.

BC; Previously published in hardcover; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Algorithm Construction; Automatic Program Derivation; C programming language; Program Derivation Systems; Program Specialization; Program Transformation; algorithm; algorithms; automata; development; formal specification; logic; object oriented design; programming; C; Software Engineering/Programming and Operating Systems; Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Software Engineering; Programming Techniques; Compilers and Interpreters; Computer Science; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; BB

Part I Robert Paige's Research: A Retrospective and a Proposal. Research Retrospective on Transformational Development of Programs; R.Paige. A National Science Foundation Proposal; R.Paige. Part II Robert Paige: Brother, Friend, Colleague. A Song for My Brother; G.D.Paige. Robert Paige: Researcher and Teacher; H.Mairson. An Appreciation of Bob Paige; M.Davis. Bob Paige and the IFIP Working Group 2.1; H.Partsch. Remembrances of Bob Paige; A.Siegel. Part III Contributed Papers. Transformational Derivation of an Improved Alias Analysis Algorithm; D.Goyal. Dynamic Programming via Static Incrementalization; Y.A.Liu, S.D.Stoller. Automatic Program Generation from Formal Specifications using APTS; E.I.Leonard, C.L.Heitmeyer. Universal Regular Path Queries; O.deMoor, D.Lacey, E.VanWyk. Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism; A.Pettorossi, M.Proietti, S.Renault. Computational Divided Differencing and Divided-Difference Arithmetics; T.W.Reps, L.B.Rall. Least Reflexive Points of Relations; J.Desharnais, B.Möller. Relativizations for the Logic-Automata Connection; N.Klarlund. Efficient Type Matching; S.Jha, J.Palsberg, T.Zhao, F.Henglein. Aspects as Invariants; D.R.Smith. Program Transformations; D.S.Wile.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9781402065859 Automatic Program Development (Olivier Danvy; Fritz Henglein; Harry Mairson; Alberto Pettorossi)


< naar Archief...