Danvy, Olivier (Herausgeber); Pettorossi, Alberto (Herausgeber); Mairson, Harry (Herausgeber); Henglein, Fritz (Herausgeber): Automatic Program Development A Tribute to Robert Paige - pocketboek
2010, ISBN: 9048176743
gebonden uitgave
Softcover reprint of hardcover 1st ed. 2008 Kartoniert / Broschiert Computerprogrammierung und Softwareentwicklung, Software Engineering, Algorithm Construction; Automatic Program Deriv… Meer...
Softcover reprint of hardcover 1st ed. 2008 Kartoniert / Broschiert Computerprogrammierung und Softwareentwicklung, Software Engineering, Algorithm Construction; Automatic Program Derivation; C programming language; Program Derivation Systems; Program Specialization; Program Transformation; algorithm; algorithms; automata; Formal Specification; logic; object oriented design; programming, mit Schutzumschlag 11, [PU:Springer Netherlands; Springer Netherland]<
Achtung-Buecher.de
MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Danvy, Olivier (Herausgeber); Pettorossi, Alberto (Herausgeber); Mairson, Harry (Herausgeber); Henglein, Fritz (Herausgeber): Automatic Program Development A Tribute to Robert Paige - eerste uitgave
2010, ISBN: 9048176743
pocketboek, gebonden uitgave
Softcover reprint of hardcover 1st edition 2008 Kartoniert / Broschiert Software Engineering, Algorithm Construction; Automatic Program Derivation; C programming language; Development; … Meer...
Softcover reprint of hardcover 1st edition 2008 Kartoniert / Broschiert Software Engineering, Algorithm Construction; Automatic Program Derivation; C programming language; Development; Formal Specification; Program Derivation Systems; Program Specialization; Program Transformation; algorithm; algorithms; automata; logic; object oriented design; programming, with dust cover 11, [PU:Springer Netherlands; Springer Netherland]<
Achtung-Buecher.de
MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:No shipping costs within Germany. (EUR 0.00) Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
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]
Achtung-Buecher.de
MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Geen versendingskosten in Duitsland. (EUR 0.00) Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Olivier Danvy (Editor), Fritz Henglein (Editor), Harry Mairson (Editor), Alberto Pettorossi (Editor): Automatic Program Development: A Tribute to Robert Paige - pocketboek
Olivier Danvy (Editor), Fritz Henglein (Editor), Harry Mairson (Editor), Alberto Pettorossi (Editor): Automatic Program Development: A Tribute to Robert Paige - pocketboek
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
Olivier Danvy (Editor), Fritz Henglein (Editor), Harry Mairson (Editor), Alberto Pettorossi (Editor): Automatic Program Development: A Tribute to Robert Paige - pocketboek
Olivier Danvy (Editor), Fritz Henglein (Editor), Harry Mairson (Editor), Alberto Pettorossi (Editor): Automatic Program Development: A Tribute to Robert Paige - pocketboek
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.
Bibliografische gegevens van het best passende boek
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) Boek voor het laatst gevonden op 2025-06-19T23:32:32+02:00 (Amsterdam) ISBN/EAN: 9789048176748
ISBN - alternatieve schrijfwijzen: 90-481-7674-3, 978-90-481-7674-8 alternatieve schrijfwijzen en verwante zoekwoorden: Auteur van het boek: olivier, hengl, petto, henglein, harry Titel van het boek: tribute
Gegevens van de uitgever
Auteur: Olivier Danvy Titel: Automatic Program Development - A Tribute to Robert Paige Uitgeverij: Springer; Springer Netherland 272 Bladzijden Verschijningsjaar: 2010-10-19 Dordrecht; NL Gedrukt / Gemaakt in Taal: Engels 109,99 € (DE)
BC; 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; Software Engineering; Programming Techniques; Compilers and Interpreters; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; BB
Robert Paige's Research: A Retrospective and A Proposal.- Research Retrospective on Transformational Development of Programs.- A National Science Foundation Proposal.- Robert Paige: Brother, Friend, Colleague.- A Song for My Brother.- Robert Paige: Researcher and Teacher.- An Appreciation of Bob Paige.- Bob Paige and the IFIP Working Group 2.1.- Remembrances of Bob Paige.- Contributed Papers.- Transformational Derivation of an Improved Alias Analysis Algorithm.- Dynamic Programming via Static Incrementalization.- Automatic Program Generation from Formal Specifications using APTS.- Universal Regular Path Queries.- Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism.- Computational Divided Differencing and Divided-Difference Arithmetics.- Least Reflexive Points of Relations.- Relativizations for the Logic-Automata Connection.- Efficient Type Matching.- Aspects as Invariants.- Program Transformations: Some Lessons from the 1980s.
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
