*Result*: Abstract state machines
*Title*:
Abstract state machines : a method for high level system design and analysis ; with 19 tables / Egon Börger ; Robert Stärk
*Author/editor-in-chief*:
*Publication*:
Berlin : Springer, 2003
*Physical description scale*:
X, 438 Seiten : Diagramme ; 24 cm + 1 CD-ROM
*Format*:
*Language*:
*eng*
*Notes*:
Literaturverzeichnis Seite 369 - 428
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
3540007024
*L1_Classifications*: