Product details
- Publisher : Springer (February 5, 2012)
- Language : English
- Paperback : 488 pages
- ISBN-10 : 1447104641
-
ISBN-13 : 978-1447104643
کتاب Real-Time and Multi-Agent Systems
A detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verification methods of reactive systems. The book brings together the 3 key fields of current and future data-processing: distributed systems and applications, parallel scientific computing, and real-time and manufacturing systems. It covers the basic concepts and theories, methods, techniques and tools currently used in the specification and implementation of applications and contains many examples plus complete case studies.
منابع کتاب کتاب Real-Time and Multi-Agent Systems
شرح مفصلی از سیستم های بلادرنگ، از جمله ساختارهای برنامه برای زمان واقعی، تجزیه و تحلیل توسعه فازها، و مشخصات رسمی و روش های تایید سیستم های واکنشی. این کتاب 3 زمینه کلیدی پردازش داده های فعلی و آینده را گرد هم می آورد: سیستم ها و برنامه های کاربردی توزیع شده، محاسبات علمی موازی، و سیستم های تولیدی و بلادرنگ. این شامل مفاهیم و نظریه های اساسی، روش ها، تکنیک ها و ابزارهایی است که در حال حاضر در مشخصات و اجرای برنامه ها استفاده می شوند و شامل مثال های زیادی به همراه مطالعات موردی کامل می باشد.
ارسال نظر درباره کتاب Real-Time and Multi-Agent Systems