Benutzerdefiniertes Cover
Temporal logic. 1 / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Oxford logic guides ; 28Gesamtaufnahme: Temporal logic.Verlag: Oxford : Clarendon Press, 1994Beschreibung: XIV, 653 S. : graph. DarstISBN:- 0198537697
| Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Gab | Bibliothek / frei aufgestellt | D.Gab(20366) | Verfügbar | 000303886090 |
Anzahl Vormerkungen: 0