دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures
دانلود کتاب روش های رسمی برای طراحی سیستم های زمان واقعی: مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطات و نرم افزار، برتینورا، ایتالیا، 13-18 سپتامبر 2004، سخنرانی های تجدید نظر شده
مشخصات کتاب
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.) سری: Lecture Notes in Computer Science 3185 ISBN (شابک) : 3540230688, 9783540300809 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 301 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 59,000
کلمات کلیدی مربوط به کتاب روش های رسمی برای طراحی سیستم های زمان واقعی: مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطات و نرم افزار، برتینورا، ایتالیا، 13-18 سپتامبر 2004، سخنرانی های تجدید نظر شده: مهندسی نرم‌افزار، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه‌ها، سیستم‌های هدف خاص و مبتنی بر کاربرد، شبکه‌های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی برای طراحی سیستم های زمان واقعی: مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطات و نرم افزار، برتینورا، ایتالیا، 13-18 سپتامبر 2004، سخنرانی های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های رسمی برای طراحی سیستم های زمان واقعی: مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطات و نرم افزار، برتینورا، ایتالیا، 13-18 سپتامبر 2004، سخنرانی های تجدید نظر شده
این کتاب نسخه های اصلاح شده 9 سخنرانی دعوت شده ارائه شده توسط محققان برجسته را در چهارمین ویرایش مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطی و نرم افزاری، SFT 2004، که در برتینورو، ایتالیا، در سپتامبر برگزار شد، ارائه می دهد. 2004.
SFM 2004 به سیستم های بلادرنگ اختصاص داده شده است. سخنرانی‌های ارائه‌شده مدل‌ها و زبان‌های رسمی را برای مشخصات، مدل‌سازی، تجزیه و تحلیل و تأیید سیستم‌های حساس زمانی، بیان این مدل‌ها و زبان‌ها، و همچنین ابزارهای پشتیبانی و برنامه‌های کاربردی مرتبط در حوزه‌های مختلف را پوشش می‌دهد.
این کتاب یک نظرسنجی منحصر به فرد و جامع در مورد سیستم های زمان واقعی ارائه می دهد. محققان و دانشجویان پیشرفته از این کتاب به‌عنوان یک منبع ارزشمند مرجع و یک راهنمای سیستماتیک برای استفاده از روش‌های رسمی برای مشخصات، تحلیل و تأیید سیستم‌های بلادرنگ قدردانی خواهند کرد.
توضیحاتی درمورد کتاب به خارجی
This book presents the revised versions of nine invited lectures presented by leading researchers at the fourth edition of the International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFT 2004, held in Bertinoro, Italy, September 2004.
SFM 2004 is devoted to real-time systems. The lectures presented cover formal models and languages for the specification, modeling, analysis, and verification of time-critical systems, the expressiveness of such models and languages, as well as supporting tools and related applications in different domains.
The book offers a unique and comprehensive state-of-the-art survey on real-time systems. Researchers and advanced students will appreciate the book as a valuable source of reference and a systematic guide to the use of formal methods for the specification, analysis, and verification of real-time systems.
فهرست مطالب
Front Matter....Pages -
Decision Problems for Timed Automata: A Survey....Pages 1-24
Timed Petri Nets: Efficiency of Asynchronous Systems....Pages 25-58
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)....Pages 59-97
Expressiveness of Timed Events and Timed Languages....Pages 98-131
Real Time and Stochastic Time....Pages 132-180
On the Semantic Foundations of Standard UML 2.0....Pages 181-199
A Tutorial on Uppaal ....Pages 200-236
The IF Toolset....Pages 237-267
Embedded Software Analysis with MOTOR....Pages 268-293
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Enterprise Mac Administrators Guide
دانلود کتاب Professional Xen Virtualization
دانلود کتاب Ubiquitous Convergence Technology: First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers
دانلود کتاب Mastering Microsoft Dynamics AX 2012 R3 Programming
دانلود کتاب SOFSEM 2004: Theory and Practice of Computer Science: 30th Conference on Current Trends in Theory and Practice of Computer Science Měřín, Czech Republic, January 24-30, 2004 Proceedings
دانلود کتاب Click-It: Computer Fun Science
دانلود کتاب A Concise Introduction to Languages and Machines
دانلود کتاب Evernote Essentials
دانلود کتاب Compressed image file formats: JPEG, PNG, GIF, XBM, BMP
