
ISBN: 9789027715043
[ED: Buch], [PU: Springer Netherlands], Neuware - powerful operations on them. An early step in this direction was the development of APl, and more recent examples have been SETl which en… Meer...
booklooker.de |
Computer Program Synthesis Methodologies Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 - gebonden uitgave, pocketboek
1982, ISBN: 9027715041
1983 Gebundene Ausgabe Mathematik, Calculation; Mathematica; Natural; Prolog; Rack; algorithms; calculus; datatypes; logic; programming; theorem, mit Schutzumschlag 11, [PU:Springer Net… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |

ISBN: 9789027715043
Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 19 | Computer Program Synthesis Methodologies by A. w. Biermann Hardcover | Indigo Chapter… Meer...
Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |

ISBN: 9789027715043
Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-Oct Books > Science & Nature > Math & Physics > Mathematics … Meer...
Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |

ISBN: 9789027715043
Hardback, [PU: Springer], Proceedings of the NATO Advanced Study Institute, Bonas, France, September 28-October 10, 1981, Mathematics
BookDepository.com Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |


ISBN: 9789027715043
[ED: Buch], [PU: Springer Netherlands], Neuware - powerful operations on them. An early step in this direction was the development of APl, and more recent examples have been SETl which en… Meer...
Guiho, G. (Herausgeber); Biermann, A. W. (Herausgeber):
Computer Program Synthesis Methodologies Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 - gebonden uitgave, pocketboek1982, ISBN: 9027715041
1983 Gebundene Ausgabe Mathematik, Calculation; Mathematica; Natural; Prolog; Rack; algorithms; calculus; datatypes; logic; programming; theorem, mit Schutzumschlag 11, [PU:Springer Net… Meer...

ISBN: 9789027715043
Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 19 | Computer Program Synthesis Methodologies by A. w. Biermann Hardcover | Indigo Chapter… Meer...

ISBN: 9789027715043
Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-Oct Books > Science & Nature > Math & Physics > Mathematics … Meer...

ISBN: 9789027715043
Hardback, [PU: Springer], Proceedings of the NATO Advanced Study Institute, Bonas, France, September 28-October 10, 1981, Mathematics
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Computer Program Synthesis Methodologies by A.w. Biermann Hardcover | Indigo Chapters
EAN (ISBN-13): 9789027715043
ISBN (ISBN-10): 9027715041
Gebonden uitgave
pocket book
Verschijningsjaar: 1982
Uitgever: A.w. Biermann
388 Bladzijden
Gewicht: 0,742 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2007-04-12T09:10:29+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-02-27T12:55:39+01:00 (Amsterdam)
ISBN/EAN: 9027715041
ISBN - alternatieve schrijfwijzen:
90-277-1504-1, 978-90-277-1504-3
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: synthesis, biermann
Titel van het boek: nato computer, computer programme synthesis methodologies, bona, the program, science synthesis, how program, october
Gegevens van de uitgever
Auteur: A.W. Biermann; G. Guiho
Titel: Nato Science Series C:; Computer Program Synthesis Methodologies - Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981
Uitgeverij: Springer; Springer Netherland
374 Bladzijden
Verschijningsjaar: 1982-12-31
Dordrecht; NL
Gewicht: 1,590 kg
Taal: Engels
235,39 € (DE)
241,99 € (AT)
259,50 CHF (CH)
POD
IX, 374 p.
BB; Mathematics, general; Hardcover, Softcover / Mathematik; Mathematik; Verstehen; Calculation; Mathematica; Natural; Prolog; Rack; algorithms; calculus; data types; logic; programming; theorem; Mathematics; BC; BC; EA
Program Construction by Transformations: A Family Tree of Sorting Programs.- Issues in the Methodical Design of Concurrent Programs.- An Analysis of Choice in Program Design.- The Design of Very High Level Languages.- Implementation Considerations in Very High Level Languages.- A Study of Prolog.- Program Synthesis from Examples of Behavior.- Deductive Synthesis of the Unification Algorithm.- The Synthesis of Implementations for Abstract Data Types, A Program Transformation Tactic.- Natural Language Programming.- Author Index.Proceedings of the NATO Advanced Study Institute, Bonas, France, September 28-October 10, 1981
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789400970199 Computer Program Synthesis Methodologies (A.W. Biermann; G. Guiho)
< naar Archief...