دانلود کتاب Real-time systems: specification, verification, and analysis

Name: Real-time systems: specification, verification, and analysis
Availability: InStock
Author: Mathai Joseph
ISBN: 9780134552972, 0134552970

by Mathai Joseph

عنوان فارسی: سیستم های زمان واقعی: مشخصات، تایید، و تجزیه و تحلیل
ناشر: Prentice Hall
سال: 1996
ویرایش: 1st
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 290-290
شابک: 9780134552972, 0134552970
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 2.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This text provides an account of real-time systems: program structures for real-time timing analysis using scheduling theory and specification and verification in different frameworks. The presentation makes use of recent research which has demonstrated the effectiveness and applicability of mathematically-based methods for real-time system design. Each chapter focuses on a particular technique and examples help reinforce the theory presented in the text. Coverage includes advanced scheduling theory, as well as new specification and verification methods, linked together by consideration of a common, non-trivial example. All chapters contains exercises in the general text as well as graded exercises at the end.

کتاب های مرتبط

این کتاب رو مطالعه کردید؟ نظر شما چیست؟

برای ارسال نظر، لطفا وارد شوید.

نظر دهید

* فیلدهای ستاره دار الزامی است.

1000

ورودی های من را در نظرهای بعدی به خاطر بسپار.

نظرات (0)

هنوز نظری داده نشده است. شما اولین باشید!