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 3 von 6
    Datensatz exportieren als...
  • BibTeX
Duration calculus : a formal approach to real-time systems
Monographs in theoretical computer science
2004
Signatur: TWT6228

Details

Autor(en) / Beteiligte
Titel
Duration calculus : a formal approach to real-time systems
Ist Teil von
  • Monographs in theoretical computer science
Ort / Verlag
Berlin [u.a.] : Springer
Erscheinungsjahr
2004
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 3540408231
OCLC-Nummer: 249564055, 249564055
Titel-ID: 990008941050106463
Format
X, 247 S.
Systemstelle
TWT
Schlagworte
Echtzeitsystem, HOL, Temporale Logik, Zeitintervall, Formale Spezifikationstechnik, Berechnungstheorie

Lade weitere Informationen...