-
RecordNumber
1442
-
Author
Borger, E1946-(Egon)
-
Title
Abstract state machines
-
SubTitle
a method for high-level system design and analysis
-
Author Statement
Egon Borger, Robert Stark
-
Publication
Springer
-
Publication Year
2003
-
Collation
x, 440 p. ill.
-
Notes
Includes bibliographical references (p. [379]-428) and index. , System requirements: Internet browser, AcrobatReader, PowerPoint, 15 MB free hard disk space
-
Subject
System design. , Computer software , Embedded computer systems.
-
ADDED ENTRIES
Stark, Robert F.,
-
Main class
004.
-
Sub class
21
-
Cutter no
B732a
-
ISBN
3540007024
-
Link To Document :