Produktbild: Computer Program Synthesis Methodologies
Band 95 - 12%

Computer Program Synthesis Methodologies Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981

Aus der Reihe Nato Science Series C:
12% sparen

192,99 € UVP 219,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.12.2011

Abbildungen

IX, 374 p.

Herausgeber

A.W. Biermann + weitere

Verlag

Springer Netherland

Seitenzahl

374

Maße (L/B/H)

24/16/2,1 cm

Gewicht

618 g

Auflage

Softcover Reprint of the Original 1st 1983 edition

Sprache

Englisch

ISBN

978-94-009-7021-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.12.2011

Abbildungen

IX, 374 p.

Herausgeber

Verlag

Springer Netherland

Seitenzahl

374

Maße (L/B/H)

24/16/2,1 cm

Gewicht

618 g

Auflage

Softcover Reprint of the Original 1st 1983 edition

Sprache

Englisch

ISBN

978-94-009-7021-2

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Computer Program Synthesis Methodologies
  • 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.