Custom cover image
Temporal logic. 1 / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Oxford logic guides ; 28Set: Temporal logic.Publisher: Oxford : Clarendon Press, 1994Description: XIV, 653 S. : graph. DarstISBN:- 0198537697
| Item type | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Gab | Bibliothek / frei aufgestellt | D.Gab(20366) | Available | 000303886090 |
Total holds: 0