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 2 von 3
    Datensatz exportieren als...
  • BibTeX
The SPIN model checker : primer and reference manual
1. print, c 2004 [erschienen 2003]
Signatur: TWQ11040

Details

Autor(en) / Beteiligte
Titel
The SPIN model checker : primer and reference manual
Auflage
1. print
Ort / Verlag
Boston [u.a.] : Addison-Wesley
Erscheinungsjahr
c 2004 [erschienen 2003]
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 0321773713, 0321228626
OCLC-Nummer: 845598083, 845598083
Titel-ID: 990008941280106463
Format
XII, 596 S. : graph. Darst.
Systemstelle
TWZ, TWQ
Schlagworte
Model Checking, Debugging in computer science

Lade weitere Informationen...