TY  - BOOK
AU  - Börger, E
AU  - Stärk,Robert F.
TI  - Abstract state machines: a method for high-level system design and analysis 
SN  - 3540007024 (alk. paper)
AV  - QA 76.9.S88 B66.2003
U1  - 004.2/1 21
PY  - 2003///
CY  - Berlin, New York
PB  - Springer
KW  - Diseño de sistemas
KW  - Software de computadora
KW  - Desarrollo
KW  - Sistemas de computación integrados
N1  - Incluye referencias bibliográfcias (p. [379]-428) e índice
ER  -