booktheque

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

Herbert Stoyan · 1984

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה
1984
שפה
German
סדרה
Informatik-Fachberichte -- 91
הוצאה
Springer
מהדורות
1
עמודים
365
ISBN
9783662085257

מקור הנתונים: Wikidata

עוד של Herbert Stoyan

Begründungsverwaltung
Herbert Stoyan · 1988
Programmiermethoden der Künstlichen Intelligenz
Herbert Stoyan · 1991
Erklärung im Gespräch -- Erklärung im Mensch-Maschine-Dialog
Herbert Stoyan · 1992
Programmiermethoden der künstlichen Intelligenz
Herbert Stoyan · 1991
Programmiermethoden der Künstlichen Intelligenz
Herbert Stoyan · 1988
Begrundungsverwaltung
Herbert Stoyan · 1988
GWAI-85
Herbert Stoyan · 1986
LISP
Herbert Stoyan · 1984
LISP-Programmierhandbuch
Herbert Stoyan · 1978
Lisp
Herbert Stoyan · 1986