Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare ProgrammtransformationHerbert Stoyan

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

Herbert Stoyan · 1984

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 1984
Language: German
Series: Informatik-Fachberichte -- 91
Publisher: Springer
Editions: 1
Pages: 365
ISBN: 9783662085257

Data source: Wikidata

More by Herbert Stoyan

BegründungsverwaltungHerbert Stoyan

Begründungsverwaltung

Herbert Stoyan · 1988

Programmiermethoden der Künstlichen IntelligenzHerbert Stoyan

Programmiermethoden der Künstlichen Intelligenz

Herbert Stoyan · 1991

Erklärung im Gespräch -- Erklärung im Mensch-Maschine-DialogHerbert Stoyan

Erklärung im Gespräch -- Erklärung im Mensch-Maschine-Dialog

Herbert Stoyan · 1992

Programmiermethoden der künstlichen IntelligenzHerbert Stoyan

Programmiermethoden der künstlichen Intelligenz

Herbert Stoyan · 1991

Programmiermethoden der Künstlichen IntelligenzHerbert Stoyan

Programmiermethoden der Künstlichen Intelligenz

Herbert Stoyan · 1988

BegrundungsverwaltungHerbert Stoyan

Begrundungsverwaltung

Herbert Stoyan · 1988

GWAI-85Herbert Stoyan

Herbert Stoyan · 1986

LISPHerbert Stoyan

Herbert Stoyan · 1984

LISP-ProgrammierhandbuchHerbert Stoyan

LISP-Programmierhandbuch

Herbert Stoyan · 1978

LispHerbert Stoyan

Herbert Stoyan · 1986