ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب 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

مشخصات کتاب

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

ویرایش: [1st ed.] 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 11430 
ISBN (شابک) : 9783030176006 
ناشر: Springer International Publishing 
سال نشر: 2019 
تعداد صفحات: XVII, 237
[253] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 14 Mb 

قیمت کتاب (تومان) : 47,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب 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.





نظرات کاربران