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...
    Datensatz exportieren als...
  • BibTeX
The ASM workbench : a tool environment for computer aided analysis and validation of abstract state machine models
HNI-Verlagsschriftenreihe : 83 (Alle Bände)
2001
Signatur: TWT5662, P1460

Details

Autor(en) / Beteiligte
Titel
The ASM workbench : a tool environment for computer aided analysis and validation of abstract state machine models
Ist Teil von
Ort / Verlag
Paderborn : Heinz-Nixdorf-Inst.
Erscheinungsjahr
2001
Link zu anderen Inhalten
Beschreibungen/Notizen
  • Paderborn, Univ., Diss., 2000
Sprache
Englisch
Identifikatoren
ISBN: 3931466825
OCLC-Nummer: 1046349917, 1046349917
Titel-ID: 990008304140106463
Format
–
Systemstelle
TWT

Lade weitere Informationen...