Temporal logic: mathematical foundations and computational aspects 1
Gespeichert in:
Bibliographische Detailangaben
Format: Buch
Sprache:English
Veröffentlicht: Oxford Clarendon Press 2003
Schriftenreihe:Oxford logic guides 28
Beschreibung:XIV, 653 S.
ISBN:0198537697

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!