اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Fahrzeugdynamik: Mechanik des bewegten Fahrzeugs
قیمت اصلی 169,000 تومان بود.94,000 تومانقیمت فعلی 94,000 تومان است.
خرید و دانلود نسخه کامل کتاب Automotive Electricity: Electric Drive
قیمت اصلی 149,000 تومان بود.74,000 تومانقیمت فعلی 74,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
09ساعت
36دقیقه
37ثانیه
-42%
خرید و دانلود نسخه کامل کتاب FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
قیمت اصلی 179,000 تومان بود.104,000 تومانقیمت فعلی 104,000 تومان است.
تعداد فروش: 42
| عنوان فارسی |
FORMS / FORMAT 2010: روشهای رسمی اتوماسیون و ایمنی در سیستم های راه آهن و خودرو |
|---|---|
| عنوان اصلی | FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Ralf Schweinsberg (auth.), Eckehard Schnieder, Geza Tarnai (eds.) |
| ISBN | 3642142605, 9783642142604 |
| سال نشر | 2011 |
| زبان | English |
| تعداد صفحات | 270 |
| دسته | حمل و نقل: اتومبیل ، موتورسیکلت |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 6 مگابایت |
1
آیتم فروخته شده در 55 دقیقه
3
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
پیچیدگی در سیستمهای اتوماسیون و ایمنی در راهآهن و همچنین کاربردهای خودرویی بیشتر و بیشتر تحت تسلط ابزارها، روشها و ابزارهای توصیف رسمی است. تکنیکهای رسمی در کنار بررسیهای صحت و یکپارچگی – به ویژه برای سیستمهای مربوط به ایمنی – امکان مدلسازی، اثبات، شبیهسازی و بررسی مشخصات سیستم و همچنین تولید پیادهسازی سیستم را فراهم میکنند. الزامات استانداردهای CENELEC و IEC در مورد تکنیک های رسمی، به ویژه با توجه به رسیدگی به تجزیه و تحلیل ایمنی، باید در FORMS/FORMAT 2010 بررسی شود. تمرکز اصلی بر موضوعاتی است که با تکنیک های رسمی برای کاربردهای راه آهن و سیستم های حمل و نقل هوشمند روبرو هستند. و همچنین برای کاربردهای خودرو. یافته ها، تجربیات به دست آمده و همچنین مشکلات مربوط به رسیدگی به موضوع و همچنین ابزارها و ابزارهای توصیف باید نشان داده شوند.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.