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 20 von 940
    Datensatz exportieren als...
  • BibTeX
Model checking
The cyber-physical systems series
second edition, 2018
Signatur: TWQ9679(2)

Details

Autor(en) / Beteiligte
Titel
Model checking
Ist Teil von
  • The cyber-physical systems series
Auflage
second edition
Ort / Verlag
Cambridge, MA ; London : The MIT Press
Erscheinungsjahr
2018
Link zu anderen Inhalten
Beschreibungen/Notizen
  • Includes bibliographical references and index
Sprache
Englisch
Identifikatoren
ISBN: 9780262038836
OCLC-Nummer: 1080948470, 1080948470
Titel-ID: 990022150740106463
Format
xx, 402 Seiten; Illustrationen, Diagramme
Systemstelle
TWQ
Schlagworte
Model Checking, Programmverifikation, Computer systems

Lade weitere Informationen...