عنوان
پدید آورنده
موضوع
رده
QA76.6 B996 1992
QA76
.
6
B996
1992
کتابخانه
محل استقرار
شابک
شابک
1461209315
شابک
9781461209317
شماره کتابشناسی ملی
شماره
b544103
عنوان و نام پديدآور
عنوان اصلي
The Temporal Logic of Reactive and Concurrent Systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
Specification
نام نخستين پديدآور
by Zohar Manna, Amir Pnueli.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York, NY
نام ناشر، پخش کننده و غيره
Springer New York
تاریخ نشرو بخش و غیره
1992
مشخصات ظاهری
نام خاص و کميت اثر
(xiv, 427 pages)
یادداشتهای مربوط به مندرجات
متن يادداشت
I: Models of Concurrency --;1: Basic Models --;2: Modeling Real Concurrency --;II: Specifications --;3: Temporal Logic --;4: Properties of Programs --;References --;Index to Symbols --;General Index.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer Communication Networks.
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Software engineering.
رده بندی کنگره
شماره رده
QA76
.
6
نشانه اثر
B996
1992
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
by Zohar Manna, Amir Pnueli.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Amir Pnueli
مستند نام اشخاص تاييد نشده
Zohar Manna
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
