عنوان
پدید آورنده
موضوع
رده
QA76.54 D385 1999
QA76
.
54
D385
1999
کتابخانه
محل استقرار
شابک
شابک
3540761403
شابک
9783540761402
شماره کتابشناسی ملی
شماره
b541722
عنوان و نام پديدآور
عنوان اصلي
Introduction to the formal design of real-time systems
نام عام مواد
[Book]
نام نخستين پديدآور
David Gray.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London ; New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
©1999.
مشخصات ظاهری
نام خاص و کميت اثر
xiii, 461 pages : illustrations ; 24 cm
فروست
عنوان فروست
Applied computing.
یادداشتهای مربوط به مندرجات
متن يادداشت
1. Scene Set --;2. Concurrency and Communication --;3. Message Passing --;4. Synchronous Calculus of Communicating Systems --;5. Equivalence --;6. Automating SCCS --;7. Proving Things Correct --;8. End End Note --;App. 1. Some of the More Useful SCCS Propositions --;App. 2. Notation Used Throughout the Book.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Real-time data processing.
موضوع مستند نشده
System design.
موضوع مستند نشده
Temps réel.
رده بندی کنگره
شماره رده
QA76
.
54
نشانه اثر
D385
1999
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
David Gray.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
David Gray
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
