عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
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
