Abstract state machines: a method for high level system design and analysis ; with 19 tables

Egon Börger ; Robert Stärk

Berlin [u.a.]: Springer, 2003

Monographie, Gedruckte Ressource, Elektronische Ressource, CD-ROM - X, 438 S. : graph. Darst. ; 1 CD-ROM (12 cm)

Titel:	Abstract state machines: a method for high level system design and analysis ; with 19 tables
Verantwortlichkeitsangabe:	Egon Börger ; Robert Stärk
Autor/in / Beteiligte Person:	Börger, Egon ; Stärk, Robert F. (1963-)
Link:	Kapitel Inhaltsverzeichnis Buchumschlag
Veröffentlichung:	Berlin [u.a.]: Springer, 2003
Medientyp:	Monographie
Datenträgertyp:	Gedruckte Ressource, Elektronische Ressource, CD-ROM
Umfang:	X, 438 S. : graph. Darst. ; 1 CD-ROM (12 cm)
ISBN:	3540007024 Pp. : EUR 53.45
Schlagwort:	Abstrakte Zustandsmaschine
Sonstiges:	Literaturverz. S. 369 - 428 Lokale Notationen: TVC; TWP; TXK; TXD; TVM Fächer: Informatik hbz Verbund-ID: HT013667243

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.