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

Medientyp: Buch

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

Beteiligte: Börger, Egon [Verfasser:in]; Stärk, Robert F. [Verfasser:in]

Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2003

Umfang: X, 438 S.; graph. Darst; 1 CD-ROM (12 cm)

Sprache: Englisch

ISBN: 9783540007029; 3540007024

RVK-Notation: ST 130 : Allgemeines
ST 136 : Automatentheorie, Formale Sprache
ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge

Schlagwörter: Abstrakte Zustandsmaschine
Abstrakte Zustandsmaschine
Abstrakte Zustandsmaschine
Abstrakte Zustandsmaschine

Entstehung:

Anmerkungen: Includes index. - Nicht identisch mit !434274488!
Systemvoraussetzungen der CD-ROM-Beil.: Installed Internet browser to navigate CD-ROM; Acrobat Reader, PowerPoint; 15 MB free hard disk space (for local installation)
installed Internet browser to navigate CD-ROM, AcrobatReader, PowerPoint, 15 MB free Hard Disk space (for local installation)

Abstract state machines

Merkliste

Exemplare

Bereichsbibliothek DrePunct – Ausgabe über Ausleihtheke

Bereichsbibliothek DrePunct – Magazin

Bestand der TU Dresden

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Bereichsbibliothek DrePunct – Ausgabe über Ausleihtheke

Bereichsbibliothek DrePunct – Magazin

Bestand der TU Dresden