کتاب الکترونیکی

زبان‌های سیستم‌های جاسازی شده و کاربردهای آن‌ها: مشارکت‌های منتخب در خصوص مشخصات، طراحی و تأیید از FDL’08

Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08

دانلود کتاب Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08 (به فارسی: زبان‌های سیستم‌های جاسازی شده و کاربردهای آن‌ها: مشارکت‌های منتخب در خصوص مشخصات، طراحی و تأیید از FDL’08) نوشته شده توسط «Eric Senn – Saadia Douhib – Dominique Blouin – Johann Laurent – Skander Turki (auth.) – Prof. Dr. Martin Radetzki (eds.)»


اطلاعات کتاب زبان‌های سیستم‌های جاسازی شده و کاربردهای آن‌ها: مشارکت‌های منتخب در خصوص مشخصات، طراحی و تأیید از FDL’08

موضوع اصلی: 1

نوع: کتاب الکترونیکی

ناشر: Springer Netherlands

نویسنده: Eric Senn – Saadia Douhib – Dominique Blouin – Johann Laurent – Skander Turki (auth.) – Prof. Dr. Martin Radetzki (eds.)

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2009

تعداد صفحه: 324

حجم کتاب: 6 مگابایت

کد کتاب: 9781402097133 , 1402097131

نوبت چاپ: 1

توضیحات کتاب زبان‌های سیستم‌های جاسازی شده و کاربردهای آن‌ها: مشارکت‌های منتخب در خصوص مشخصات، طراحی و تأیید از FDL’08

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

هدف زبان‌های سیستم‌های تعبیه‌شده و کاربردهای آن‌ها ارائه یک نمای کلی از روندهای تحقیقاتی فعلی، نتایج و تجربیات کاربردی در زبان‌های کامپیوتری برای سیستم‌های جاسازی شده به محققان و طراحان است. این کتاب بر اساس مرتبط ترین کمک ها به FDL’08، برترین کنفرانس بین المللی متخصص در این زمینه است. این مشارکت ها بر اساس نتایج بررسی های ارائه شده توسط کارشناسان برجسته تحقیقات و صنعت انتخاب شده اند. در بسیاری از موارد، نویسندگان اثر اصلی خود را با افزودن وسعت، عمق یا توضیح بهبود بخشیده اند.


Embedded systems take over complex control and data processing tasks in diverse application fields such as automotive, avionics, consumer products, and telecommunications. They are the primary driver for improving overall system safety, efficiency, and comfort. The demand for further improvement in these aspects can only be satisfied by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on specification, design, and verification languages.

The objective of Languages for Embedded Systems and their Applications is to provide researchers and designers with an overview of current research trends, results, and application experiences in computer languages for embedded systems. The book builds upon the most relevant contributions to FDL’08, the premier international conference specializing in this field. These contributions have been selected based on the results of reviews provided by leading experts from research and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation.

دانلود کتاب «زبان‌های سیستم‌های جاسازی شده و کاربردهای آن‌ها: مشارکت‌های منتخب در خصوص مشخصات، طراحی و تأیید از FDL’08»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.