عنوان
پدید آورنده
موضوع
رده
QA76.54 .R4298 1996
QA76
.
54
.
R4298
1996
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
2285
عنوان و نام پديدآور
عنوان اصلي
Real-time systems :specification, verification, and analysis
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London ; New York
نام ناشر، پخش کننده و غيره
Prentice Hall
تاریخ نشرو بخش و غیره
1996
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 278 p. : ill. ; 24 cm
فروست
عنوان فروست
Prentice Hall International series in computer science
يادداشت کلی
متن يادداشت
Includes bibliographical references )p. 259-271( and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Real-time data processing
رده بندی ديویی
شماره
005
.
2
رده بندی کنگره
شماره رده
QA76
.
54
.
R4298
1996
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
عنصر شناسه اي
edited by Mathai Joseph
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU M ,hpesoJ
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
ل‌ا‌ه دیجیت‌ان‌ابخ‌کت
