Axiomatising the logic of computer programming:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Goldblatt, Robert 1949- (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: Berlin [u.a.] Springer 1982
Schriftenreihe:Lecture notes in computer science 130
Schlagworte:
Beschreibung:Umschlagt.: Golblatt, Robert: Axiomatising the logic of computer programming
Beschreibung:XI, 304 S. graph. Darst.
ISBN:3540112103
0387112103

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!