ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

دانلود کتاب روش های رسمی برای مدل های نرم افزاری اجرایی: 14 مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطات و نرم افزار، SFM 2014، Bertinoro، ایتالیا، 16-20 ژوئن 2014، سخنرانی های پیشرفته

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

مشخصات کتاب

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

دسته بندی: برنامه نویسی: زبانهای مدل سازی
ویرایش: 1 
نویسندگان: , , , ,   
سری: Lecture Notes in Computer Science 8483 : Programming and Software Engineering 
ISBN (شابک) : 9783319073163 
ناشر: Springer International Publishing 
سال نشر: 2014 
تعداد صفحات: 350 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 مگابایت

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



کلمات کلیدی مربوط به کتاب روش های رسمی برای مدل های نرم افزاری اجرایی: 14 مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطات و نرم افزار، SFM 2014، Bertinoro، ایتالیا، 16-20 ژوئن 2014، سخنرانی های پیشرفته: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، تئوری محاسبات



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

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


در صورت تبدیل فایل کتاب Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش های رسمی برای مدل های نرم افزاری اجرایی: 14 مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطات و نرم افزار، SFM 2014، Bertinoro، ایتالیا، 16-20 ژوئن 2014، سخنرانی های پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روش های رسمی برای مدل های نرم افزاری اجرایی: 14 مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطات و نرم افزار، SFM 2014، Bertinoro، ایتالیا، 16-20 ژوئن 2014، سخنرانی های پیشرفته



این کتاب 8 سخنرانی آموزشی را ارائه می دهد که توسط محققان برجسته در چهاردهمین ویرایش مدرسه بین المللی روش های رسمی برای طراحی سیستم های کامپیوتری، ارتباطی و نرم افزاری، SFM 2014، در برتینورو، ایتالیا، در ژوئن 2014 برگزار شد. .

SFM 2014 به مدل‌های نرم‌افزار اجرایی اختصاص داشت و موضوعاتی مانند مدل‌های تغییرپذیری، تکنیک‌های تحلیل خودکار، تأیید قیاسی، و ارزیابی و آزمایش زمان اجرا را پوشش داد. مقالات جمع آوری شده در دو بخش (بخش اول: مدل سازی و تأیید؛ بخش دوم: ارزیابی و آزمایش زمان اجرا) این جلد، طیف وسیعی از موضوعات مدرسه را نشان می دهد.


توضیحاتی درمورد کتاب به خارجی

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.

SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.



فهرست مطالب

Front Matter....Pages -
Analysis of Executable Software Models....Pages 1-25
Deadlock Detection in Linear Recursive Programs....Pages 26-64
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey....Pages 65-121
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms....Pages 122-171
Verification of Concurrent Systems with VerCors....Pages 172-216
Combining Monitoring with Run-Time Assertion Checking....Pages 217-262
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency....Pages 263-309
Model-Based Testing....Pages 310-342
Back Matter....Pages -




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی