Computer Program Synthesis Methodologies Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 - pocketboek
2011, ISBN: 9400970218
Softcover reprint of the original 1st ed. 1983 Kartoniert / Broschiert Calculation; Mathematica; Natural; Prolog; Rack; algorithms; calculus; datatypes; logic; programming; theorem, mit… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Computer Program Synthesis Methodologies Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28¿October 10, 1981 - pocketboek
2011, ISBN: 9400970218
Softcover reprint of the original 1st ed. 1983 Kartoniert / Broschiert Calculation; Mathematica; Natural; Prolog; Rack; algorithms; calculus; datatypes; logic; programming; theorem, mit… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Computer Program Synthesis Methodologies Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 - pocketboek
2011, ISBN: 9400970218
Softcover reprint of the original 1st ed. 1983 Kartoniert / Broschiert Calculation; Mathematica; Natural; Prolog; Rack; algorithms; calculus; datatypes; logic; programming; theorem, mit… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9789400970212
Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 19 | Computer Program Synthesis Methodologies by A. w. Biermann Paperback | Indigo Chapter… Meer...
Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
ISBN: 9789400970212
Paperback, [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... |
Computer Program Synthesis Methodologies Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 - pocketboek
2011, ISBN: 9400970218
Softcover reprint of the original 1st ed. 1983 Kartoniert / Broschiert Calculation; Mathematica; Natural; Prolog; Rack; algorithms; calculus; datatypes; logic; programming; theorem, mit… 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 - pocketboek2011, ISBN: 9400970218
Softcover reprint of the original 1st ed. 1983 Kartoniert / Broschiert Calculation; Mathematica; Natural; Prolog; Rack; algorithms; calculus; datatypes; logic; programming; theorem, mit… Meer...
Computer Program Synthesis Methodologies Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 - pocketboek
2011
ISBN: 9400970218
Softcover reprint of the original 1st ed. 1983 Kartoniert / Broschiert Calculation; Mathematica; Natural; Prolog; Rack; algorithms; calculus; datatypes; logic; programming; theorem, mit… Meer...
ISBN: 9789400970212
Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 19 | Computer Program Synthesis Methodologies by A. w. Biermann Paperback | Indigo Chapter… Meer...
ISBN: 9789400970212
Paperback, [PU: Springer], Proceedings of the NATO Advanced Study Institute, Bonas, France, September 28-October 10, 1981, Mathematics
Bibliografische gegevens van het best passende boek
Gedetalleerde informatie over het boek. - Computer Program Synthesis Methodologies by A.w. Biermann Paperback | Indigo Chapters
EAN (ISBN-13): 9789400970212
ISBN (ISBN-10): 9400970218
pocket book
Verschijningsjaar: 2011
Uitgever: A.w. Biermann
Boek bevindt zich in het datenbestand sinds 2014-04-16T17:07:21+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-01-14T10:37:28+01:00 (Amsterdam)
ISBN/EAN: 9789400970212
ISBN - alternatieve schrijfwijzen:
94-009-7021-8, 978-94-009-7021-2
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: biermann
Titel van het boek: bona, synthesis, nato, 1981, the computer
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: 2011-12-08
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
213,99 € (DE)
219,99 € (AT)
236,00 CHF (CH)
POD
IX, 374 p.
BC; Hardcover, Softcover / Mathematik; Mathematik; Verstehen; Calculation; Mathematica; Natural; Prolog; Rack; algorithms; calculus; data types; logic; programming; theorem; Mathematics; BB; 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.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789027715043 Computer Program Synthesis Methodologies by A.w. Biermann Hardcover | Indigo Chapters (A.W. Biermann)
< naar Archief...