Katalog der Deutschen Nationalbibliothek

Springe direkt zu:

Katalog (Beta)

Medien

Verfügbar in Frankfurt
Verfügbar in Frankfurt
Verfügbar in Leipzig
Verfügbar in Leipzig

Flaviu Cristian, Eike Best und Gesellschaft für Mathematik und Datenverarbeitung

Consistent relational and predicate transformer semantics of a sequential deterministic language supporting exception handling

Bonn [i.e.] S[ank]t Augustin, Darmstadt: Ges. für Mathematik u. Datenverarbeitung, 1983

Titel

Consistent relational and predicate transformer semantics of a sequential deterministic language supporting exception handling / Flaviu Cristian ; Eike Best

Beteiligt

Flaviu Cristian (Verfasser)
Eike Best (Verfasser)
Gesellschaft für Mathematik und Datenverarbeitung (Herausgebendes Organ)

Erschienen

Bonn [i.e.] S[ank]t Augustin, Darmstadt: Ges. für Mathematik u. Datenverarbeitung
1983

Umfang

36 S.

Themen­gebiet

Informatik

Thema

Ausnahmebehandlung

Reihe

Arbeitspapiere der GMD ; Nr. 20 : ISF-Report

Datensatz-ID

840105363
Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

DNB-Portal