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 14 von 97
    Datensatz exportieren als...
  • BibTeX
The temporal logic of reactive and concurrent systems. 1. Specification
The temporal logic of reactive and concurrent systems (Alle Bände)
1992
Signatur: TVM4502-1

Details

Autor(en) / Beteiligte
Titel
The temporal logic of reactive and concurrent systems. 1. Specification
Ist Teil von
Ort / Verlag
New York [u.a.] : Springer
Erscheinungsjahr
1992
Sprache
–
Identifikatoren
ISBN: 0387976647, 3540976647
OCLC-Nummer: 632022052, 632022052
Titel-ID: 990005783530106463
Format
XIV, 427 S. : graph. Darst.
Systemstelle
TWS, TVM
Schlagworte
Nebenläufigkeit, Softwarespezifikation, Temporale Logik

Lade weitere Informationen...