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

Gebundene Ausgabe

Erscheinungsdatum

31.12.1982

Abbildungen

IX, 374 p.

Herausgeber

A.W. Biermann + weitere

Verlag

Springer Netherland

Seitenzahl

374

Maße (L/B/H)

24,1/16/2,6 cm

Gewicht

746 g

Auflage

1983

Sprache

Englisch

ISBN

978-90-277-1504-3

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.12.1982

Abbildungen

IX, 374 p.

Herausgeber

Verlag

Springer Netherland

Seitenzahl

374

Maße (L/B/H)

24,1/16/2,6 cm

Gewicht

746 g

Auflage

1983

Sprache

Englisch

ISBN

978-90-277-1504-3

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

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.