دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures
دانلود کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی پنجم، SETSS 2019، چونگ کینگ، چین، 21 تا 27 آوریل 2019، سخنرانی های آموزشی
مشخصات کتاب
Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures
ویرایش: [1st ed.] نویسندگان: Jonathan P. Bowen, Zhiming Liu, Zili Zhang سری: Lecture Notes in Computer Science 12154 ISBN (شابک) : 9783030550882, 9783030550899 ناشر: Springer International Publishing;Springer سال نشر: 2020 تعداد صفحات: XVII, 221 [236] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 Mb
قیمت کتاب (تومان) : 51,000
در صورت تبدیل فایل کتاب Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی پنجم، SETSS 2019، چونگ کینگ، چین، 21 تا 27 آوریل 2019، سخنرانی های آموزشی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی پنجم، SETSS 2019، چونگ کینگ، چین، 21 تا 27 آوریل 2019، سخنرانی های آموزشی
این کتاب مجموعه مقالات داوری پنجمین مدرسه بین‌المللی
سیستم‌های نرم‌افزار قابل اعتماد مهندسی، SETSS 2019 است که در
چونگ کینگ، چین، در آوریل 2019 برگزار شد.
پنج فصل این جلد، سخنرانی‌هایی در مورد پیشرو ارائه می‌کند.
تحقیق لبه در روش ها و ابزارهای مورد استفاده در مهندسی سیستم
های کامپیوتری موضوعات تحت پوشش در این فصل شامل توسعه سیستم
مبتنی بر مدل بدون درز: مبانی; از تجزیه و تحلیل دسترسی محدود
اتوماتای هیبریدی خطی تا تأیید CPS صنعتی و اینترنت اشیا.
ضعیف‌ترین معناشناسی پیش‌انتظار برای استنتاج بیزی: شرطی‌سازی،
توزیع‌های پیوسته و واگرایی. K - یک چارچوب معنایی برای زبان
های برنامه نویسی و ابزارهای تحلیل رسمی. و انتزاعات نرم افزار
و مدل سازی معماری سیستم های انسانی-سایبری-فیزیکی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th
International School on Engineering Trustworthy Software
Systems, SETSS 2019, held in Chongqing, China, in April
2019.
The five chapters in this volume provide lectures on
leading-edge research in methods and tools for use in
computer system engineering. The topics covered in these
chapter include Seamless Model-based System Development:
Foundations; From Bounded Reachability Analysis of Linear
Hybrid Automata to Verification of Industrial CPS and IoT;
Weakest Preexpectation Semantics for Bayesian Inference:
Conditioning, Continuous Distributions and Divergence; K – A
Semantic Framework for Programming Languages and Formal
Analysis Tools; and Software Abstractions and
Human-Cyber-Physical Systems Architecture Modelling.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Arab Fall: How the Muslim Brotherhood Won and Lost Egypt in 891 Days
دانلود کتاب Some estimates of the minimizing properties of web functions
دانلود کتاب Biedermann und die Brandstifter Ein Lehrstück ohne Lehre. Mit einem Nachspiel
دانلود کتاب Wymiana ciepła
