Fairness and the axioms of control predicates:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Francez, Nissim (VerfasserIn), Katz, Shmuel (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Haifa, Israel 1987
Schriftenreihe:haṭ- Ṭeḵniyyôn, Māḵôn Ṭeḵnôlôgî le-Yiśrā'ēl <Ḥêfā> / Department of Computer Science: Technical report 455
Beschreibung:14 Bl.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!