KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Buch

Abstract state machines 2004 : advances in theory and practice ; 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24 - 28, 2004 ; proceedings (2004)

Zimmermann, Wolf ; ASM 11 2004 Wittenberg

Berlin u.a. :Springer,

Dazugehörige Titel

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_BV019315726

Umfang: XII, 233 S. : Ill.

ISBN: 3-540-22094-1

Serie: Lecture notes in computer science 3052

Sprache: Englisch

Schlagwort(e): Abstrakte Zustandsmaschine ; Abstrakte Zustandsmaschine ; Verifikation ; Model Checking ; Abstrakte Zustandsmaschine ; UML ; Abstrakte Zustandsmaschine ; Nebenläufigkeit ; Abstrakte Zustandsmaschine ; Formale Spezifikationstechnik ; Konferenzschrift ; Kongress ; Konferenzschrift ; Konferenzschrift

URL: Cover

URL: Einführung/Vorwort

URL: Inhaltsverzeichnis

URL: Inhaltstext

URL: http://www.loc.gov/catdir/enhancements/fy0818/2004105718-d.html