عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
4491
Ostroff, Jonathan S., 4591-
Temporal logic for real- time systems
Taunton, England
Research Studies Press
c1989
xiii, 209 p. ;24 cm
Advanced software development series ; 1
Includes index
Bibliography: p. 147- 154.
، Real- time data processing
، Process control
، Discrete- time systems
004/
.
33
QA
76
.
54
.
O84
1989
AU
Jonathan S. Ostroff
TI
