دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
دانلود کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی چهارم، SETSS 2018، چونگ کینگ، چین، 7 تا 12 آوریل 2018، سخنرانی های آموزشی
مشخصات کتاب
Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
ویرایش: [1st ed.] نویسندگان: Jonathan P. Bowen, Zhiming Liu, Zili Zhang سری: Lecture Notes in Computer Science 11430 ISBN (شابک) : 9783030176006 ناشر: Springer International Publishing سال نشر: 2019 تعداد صفحات: XVII, 237 [253] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 14 Mb
قیمت کتاب (تومان) : 56,000
در صورت تبدیل فایل کتاب Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی چهارم، SETSS 2018، چونگ کینگ، چین، 7 تا 12 آوریل 2018، سخنرانی های آموزشی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی چهارم، SETSS 2018، چونگ کینگ، چین، 7 تا 12 آوریل 2018، سخنرانی های آموزشی
این جلد شامل سخنرانی‌هایی درباره تحقیقات پیشرو در روش‌ها و
ابزارهایی برای استفاده در مهندسی سیستم‌های کامپیوتری است. در
چهارمین مدرسه بین المللی مهندسی سیستم های نرم افزاری قابل
اعتماد، SETSS 2018، که در آوریل 2018 در دانشگاه جنوب غربی در
چونگ کینگ، چین برگزار شد. روش‌ها و ابزارهای مدل‌سازی، طراحی و
تأیید نرم‌افزار. موضوعاتی که در این فصل مورد بررسی قرار
می‌گیرند عبارتند از تأیید نرم‌افزار با whiley، یادگیری Büchi
Automata و کاربردهای آن، امنیت در برنامه‌های IoT،
برنامه‌نویسی در Z3، و تأثیر آلن تورینگ: روش‌های رسمی و فراتر
از آن. این جلد منبع مفیدی برای دانشجویان تحصیلات تکمیلی،
محققان، دانشگاهیان و مهندسان صنعت است که به نظریه، روش‌ها و
ابزارهای توسعه نرم‌افزار قابل اعتماد علاقه‌مند هستند.
توضیحاتی درمورد کتاب به خارجی
This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China.
The five chapters in this volume provide an overview of
research in the frontier of theories, methods, and tools for
software modelling, design, and verification. The topics
covered in these chapter include Software Verification with
Whiley, Learning Büchi Automata and Its Applications,
Security in IoT Applications, Programming in Z3, and The
Impact of Alan Turing: Formal Methods and Beyond. The volume
provides a useful resource for postgraduate students,
researchers, academics, and engineers in industry, who are
interested in theory, methods, and tools for the development
of trustworthy software.
