Autor(en)
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark
Titel
Temporal logic : mathematical foundations and computational aspects Bd. 2
Teil von
Ort / Verlag
Oxford : Clarendon Press
Erscheinungsjahr
2000
Beschreibungen
Includes index. - Bibliography
Format
XIII, 597 S. : graph. Darst.
Sprache(n)
Englisch
Identifikator(en)
ISBN: 0-19-853768-9
OCLC-Nummer: 632886635

Exemplare

SignaturLeihartStandortStatusLeihfrist
TCL4276-2Normalausleihe
Ebene 3
Nicht entliehen
Die Universität der Informationsgesellschaft