The Hoare logic of data types:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Bickel, Holger (VerfasserIn), Struckmann, Werner 1952- (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Braunschweig Inst. für Programmiersprachen und Informationssysteme 1995
Schriftenreihe:Informatik-Berichte 1995,4
Beschreibung:34 Bl.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!