SubTitle
A method for high-level system design and analysis
Author Statement
Egon Borger, Robert Steark
Collation
x, 389 p. , ill.
Addition
,
Title
Abstract state machines: A method for high-level system design and analysis
LC Class
004
LC Number
. 21
LC CutterNumber
B 732 A
Publication Year
2003
Publication
Springer,
Subject
System design,Computer software, Development,Embedded computer systems
DocumentNumber
403
ISBNN
3540007024 (alk. paper) ,
RecordNumber
11168