Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 5 von 83
    Datensatz exportieren als...
  • BibTeX
Temporal logic and state systems
Texts in theoretical computer science
2008
Signatur: TVD2296

Details

Autor(en) / Beteiligte
Titel
Temporal logic and state systems
Ist Teil von
  • Texts in theoretical computer science
Ort / Verlag
Berlin [u.a.] : Springer
Erscheinungsjahr
2008
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 9783540674016, 3540674012
OCLC-Nummer: 255491312, 255491312
Titel-ID: 990009893390106463
Format
XI, 433 S. : graph. Darst.
Systemstelle
TVD

Lade weitere Informationen...