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
    Datensatz exportieren als...
  • BibTeX
Systems and software verification : model checking techniques and tools
Updated version of the French language ed, 2001
Signatur: TVA2982

Details

Autor(en) / Beteiligte
Titel
Systems and software verification : model checking techniques and tools
Auflage
Updated version of the French language ed
Ort / Verlag
Berlin [u.a.] : Springer
Erscheinungsjahr
2001
Link zu anderen Inhalten
Beschreibungen/Notizen
  • Aus dem Franz. übers.
Sprache
Englisch
Identifikatoren
ISBN: 3540415238
OCLC-Nummer: 1070735384, 1070735384
Titel-ID: 990008399590106463
Format
XII, 190 S. : graph. Darst.
Systemstelle
TVA
Schlagworte
Reaktives System, Programmverifikation, Temporale Logik, Model Checking

Lade weitere Informationen...