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...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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... |
2010, ISBN: 9789048176748
gebonden uitgave
Springer, 2010-11-29. Softcover reprint of hardcover 1. Paperback. Used:Good., Springer, 2010-11-29
Biblio.co.uk |
2010, ISBN: 9048176743
[EAN: 9789048176748], Neubuch, [PU: Springer], Books
AbeBooks.de Ergodebooks, RICHMOND, TX, U.S.A. [8304062] [Rating: 4 (von 5)] NEW BOOK. Verzendingskosten: EUR 6.25 Details... |
2010, ISBN: 9789048176748
Paperback, New., 272 p. XIV, 272 p., Dordrecht, [PU: Springer]
alibris.co.uk |
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...
Danvy, Olivier (Herausgeber); Henglein, Fritz (Herausgeber); Mairson, Harry (Herausgeber); Pettorossi, Alberto (Herausgeber):
Automatic Program Development A Tribute to Robert Paige - pocketboek2010, ISBN: 9048176743
gebonden uitgave
Softcover reprint of hardcover 1st ed. 2008 Kartoniert / Broschiert, met couverture neu, [PU:Springer Netherlands; Springer Netherland]
2010
ISBN: 9789048176748
gebonden uitgave
Springer, 2010-11-29. Softcover reprint of hardcover 1. Paperback. Used:Good., Springer, 2010-11-29
2010, ISBN: 9048176743
[EAN: 9789048176748], Neubuch, [PU: Springer], Books
2010, ISBN: 9789048176748
Paperback, New., 272 p. XIV, 272 p., Dordrecht, [PU: Springer]
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
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-01-02T14:45:52+01: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
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:
Laatste soortgelijke boek:
9781402065859 Automatic Program Development (Olivier Danvy; Fritz Henglein; Harry Mairson; Alberto Pettorossi)
< naar Archief...