Author :
Borger, E.(Egon),1946-
SubTitle :
A method for high-level system design and analysis
Author Statement :
Egon Borger, Robert Steark
Collation :
x, 389 p. , ill.
Title :
Abstract state machines: A method for high-level system design and analysis
LC CutterNumber :
B 732 A
Subject :
System design,Computer software, Development,Embedded computer systems
ISBNN :
3540007024 (alk. paper) ,
