RecordNumber
78200
Author
Borger, Egon, 1946-
Title
Abstract state machines : a method for high-level system design and analysis
Author Statement
Egon Borger, Robert Stark
Publication
Springer
Publication Year
c2003
Collation
x, 438 p. : ill
Notes
CD-ROM included
Bibliography
Bibliography: p. [379]-428
Subject
System design , Computer software-Development , Embedded computer systems
ADDED ENTRIES
Stark, Robert F., 1963-
Main Class
004
Sub Class
.21
Cutter no
B732a
وارد كنندة اطلاعات
zharfi^d2006/07/05 14:56:24