Titel |
Abstract state machines : verification problems and computational power / vorgelegt von Antje Nowack |
|---|---|
Beteiligt |
Antje Nowack (Verfasser) |
Erschienen |
2004 |
Umfang |
181 S. |
Hochschulschrift |
Aachen, Techn. Hochsch., Diss., 2004 (Nicht für den Austausch) |
Sprache |
|
Themengebiet |
|
Thema |
Abstrakte Zustandsmaschine, Verifikation, Formale Methode, Entscheidbarkeit, Berechenbarkeit, Program Slicing |
Andere Ausgaben |
Erscheint auch als Online-Ausgabe: Abstract state machines : verification problems and computational power |
Datensatz-ID |
972717862 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: