عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .S88 .B66 2003
QA
76
.
9
.
S88
.
B66
2003
کتابخانه
محل استقرار
136847
بهار۳۸
English
)91(
Borger, E.)Egon(
1946-
Abstract state machines: a method for high-level system design and analysis
New York
Springer
2003
x, 438 p.: ill.; 24 cm
Includes bibliographical references and index
، System design
، Computer software-- Development
، Embedded computer systems
QA
76
.
9
.
S88
.
B66
2003
AU
Egon Borger, Robert Stark
AU F treboR ,kratS 1963-
TI
129
