Hochschulschrift
Über einen Hoare-Kalkül für ALGOL-ähnliche Programmiersprachen mit Prozeduren endlicher Art
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
189 S.
- Language
-
Deutsch
- Notes
-
Aachen, Techn. Hochsch., Diss., 1985
- Keyword
-
Programmiersprache
Programmiersprache
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:54 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Lambda-Kalkül als Kontrollstruktur von Programmiersprachen
Methoden der Fehler- und Ausgleichsrechnung : (mit ALGOL-Prozeduren)
Taschenwörterbuch der Programmiersprachen ALGOL, FORTRAN, PL/1 [PL eins]
Automatische rekursive Adressenberechnung für höhere Programmiersprachen, insbesondere für Algol 68
Höhere Programmiersprachen ALGOL, FORTRAN, PASCAL in einheitlicher und übersichtlicher Darstellung
Zur Speicherorganisation blockorientierter Programmiersprachen unter besonderer Berücksichtigung einer Untersprache von ALGOL 68
Ein nebenläufiger Kalkül für CSP-ähnliche Sprachen
Zur problemorientierten Beschreibung höherer Programmiersprachen und eine Darstellung repräsentativer Konstruktionen von ALGOL 68
Moderne Programmiersprachen : Programmiersprachen jenseits von Algol und Cobol: awk, C++, CASE, Korn-Shell, Lisp, Objective-C, Prolog, ProMac, REXX, Smalltalk, SQL
Algol
Algol
Algol
Lambda-Kalkül als Kontrollstruktur von Programmiersprachen
Methoden der Fehler- und Ausgleichsrechnung : (mit ALGOL-Prozeduren)
Taschenwörterbuch der Programmiersprachen ALGOL, FORTRAN, PL/1 [PL eins]
Automatische rekursive Adressenberechnung für höhere Programmiersprachen, insbesondere für Algol 68
Höhere Programmiersprachen ALGOL, FORTRAN, PASCAL in einheitlicher und übersichtlicher Darstellung
Zur Speicherorganisation blockorientierter Programmiersprachen unter besonderer Berücksichtigung einer Untersprache von ALGOL 68
Ein nebenläufiger Kalkül für CSP-ähnliche Sprachen
Zur problemorientierten Beschreibung höherer Programmiersprachen und eine Darstellung repräsentativer Konstruktionen von ALGOL 68
Moderne Programmiersprachen : Programmiersprachen jenseits von Algol und Cobol: awk, C++, CASE, Korn-Shell, Lisp, Objective-C, Prolog, ProMac, REXX, Smalltalk, SQL
Algol
Algol
Algol
Lambda-Kalkül als Kontrollstruktur von Programmiersprachen
Methoden der Fehler- und Ausgleichsrechnung : (mit ALGOL-Prozeduren)
Taschenwörterbuch der Programmiersprachen ALGOL, FORTRAN, PL/1 [PL eins]
Automatische rekursive Adressenberechnung für höhere Programmiersprachen, insbesondere für Algol 68
Höhere Programmiersprachen ALGOL, FORTRAN, PASCAL in einheitlicher und übersichtlicher Darstellung
Zur Speicherorganisation blockorientierter Programmiersprachen unter besonderer Berücksichtigung einer Untersprache von ALGOL 68
Ein nebenläufiger Kalkül für CSP-ähnliche Sprachen
Zur problemorientierten Beschreibung höherer Programmiersprachen und eine Darstellung repräsentativer Konstruktionen von ALGOL 68
Moderne Programmiersprachen : Programmiersprachen jenseits von Algol und Cobol: awk, C++, CASE, Korn-Shell, Lisp, Objective-C, Prolog, ProMac, REXX, Smalltalk, SQL
Algol
Algol