مشخصات کتاب

Real-time systems: specification, verification, and analysis

دسته بندی: کنفرانس ها و همایش های بین المللی
ویرایش: 1st 
نویسندگان: Mathai Joseph  
سری: Prentice Hall International series in computer science 
ISBN (شابک) : 9780134552972, 0134552970 
ناشر: Prentice Hall 
سال نشر: 1996 
تعداد صفحات: 290 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب Real-time systems: specification, verification, and analysis به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سیستم های زمان واقعی: مشخصات ، تأیید و تجزیه و تحلیل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب سیستم های زمان واقعی: مشخصات ، تأیید و تجزیه و تحلیل

این متن گزارشی از سیستم‌های بلادرنگ ارائه می‌کند: ساختارهای برنامه برای تحلیل زمان‌بندی بلادرنگ با استفاده از تئوری زمان‌بندی و مشخصات و تأیید در چارچوب‌های مختلف. این ارائه از تحقیقات اخیر استفاده می کند که اثربخشی و کاربرد روش های مبتنی بر ریاضی را برای طراحی سیستم بلادرنگ نشان داده است. هر فصل بر روی یک تکنیک خاص تمرکز دارد و مثال ها به تقویت نظریه ارائه شده در متن کمک می کنند. پوشش شامل تئوری زمان‌بندی پیشرفته، و همچنین روش‌های جدید مشخصات و تأیید است که با در نظر گرفتن یک مثال معمولی و غیر پیش پا افتاده به هم مرتبط شده‌اند. تمام فصل ها شامل تمرین هایی در متن عمومی و همچنین تمرین های درجه بندی شده در پایان می باشد.

توضیحاتی درمورد کتاب به خارجی

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.

نظرات کاربران

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

دانلود کتاب Proceedings Of The Second International Conference On The Theory Of Groups

دانلود کتاب Euro-Par 2000 Parallel Processing: 6th International Euro-Par Conference Munich, Germany, August 29 – September 1, 2000 Proceedings

دانلود کتاب Soft-Ware 2002: Computing in an Imperfect World: First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8–10, 2002 Proceedings

دانلود کتاب Approximation and Online Algorithms: Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers (Lecture ... Computer Science and General Issues)

دانلود کتاب Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers

دانلود کتاب Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

دانلود کتاب Discovery Science: 7th International Conference, DS 2004, Padova, Italy, October 2-5, 2004. Proceedings

دانلود کتاب Advances in Databases and Information Systems: 6th East European Conference, ADBIS 2002 Bratislava, Slovakia, September 8–11, 2002 Proceedings

دانلود کتاب Conceptual Modeling for E-Business and the Web: ER 2000 Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling Salt Lake City, Utah, USA, October 9–12, 2000 Proceedings

دانلود کتاب Dividing (Workshop Practice)