عنوان
پدید آورنده
موضوع
رده
QA,76.9,.S88B66,2003
QA
,
76
.
9
,.
S88B66
,
2003
کتابخانه
محل استقرار
استان: أذربایجان الغربیة ـ شهر: أرومیة
3-54000-702-4
English Book
Abstract state machines
A method for high-level system design and analysis
Egon Borger, Robert Stork
Berlin ; New York
Springer
2003
x, 448 p.: ill
Includes bibliographical references (p. [379]&-428) and index
System design
Computer software- Development
Embedded computer systems
QA
,
76
.
9
,.
S88B66
,
2003
Borger, E.(Egon) 1946-
Stork, Robert F
Title
1963-
Joint Author
