ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

دانلود کتاب روشهای یکپارچه رسمی: 11th International Conference، IFM 2014، Bertinoro، Italy، 9-11 سپتامبر 2014، پرونده

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

مشخصات کتاب

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

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

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



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

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


در صورت تبدیل فایل کتاب Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روشهای یکپارچه رسمی: 11th International Conference، IFM 2014، Bertinoro، Italy، 9-11 سپتامبر 2014، پرونده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روشهای یکپارچه رسمی: 11th International Conference، IFM 2014، Bertinoro، Italy، 9-11 سپتامبر 2014، پرونده



این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بین‌المللی روش‌های رسمی یکپارچه، IFM 2014، برگزار شده در برتینورو، ایتالیا، در سپتامبر 2014 است. ارسالی ها مقالات در بخش های موضوعی زیر سازماندهی شده اند: یکپارچه سازی ابزار. تایید مدل؛ پیشرفت برنامه؛ تجزیه و تحلیل امنیتی؛ تحلیل و تحول؛ و همزمانی و کنترل.


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

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.



فهرست مطالب

Front Matter....Pages 1-10
Front Matter....Pages 1-1
Shape and Content....Pages 3-17
How to Break the Bank: Semantics of Capability Policies....Pages 18-35
Front Matter....Pages 37-37
Model-Checking Circus State-Rich Specifications....Pages 39-54
An Interactive Verification Tool Meets an IDE....Pages 55-70
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems....Pages 71-86
Modeling UML Template Classes with FoCaLiZe....Pages 87-102
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud....Pages 103-119
Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems....Pages 120-135
Front Matter....Pages 137-137
Verifying Behavioral UML Systems via CEGAR....Pages 139-154
Formal Refinement in SysML....Pages 155-170
Verifying Modal Workflow Specifications Using Constraint Solving....Pages 171-186
Front Matter....Pages 187-187
Proofs and Refutations in Invariant-Based Programming....Pages 189-204
Automated Theorem Prover Assisted Program Calculations....Pages 205-220
Managing LTL Properties in Event-B Refinement....Pages 221-237
Front Matter....Pages 239-239
Formal Security Analysis of the MaCAN Protocol....Pages 241-255
A Probabilistic Framework for Security Scenarios with Dependent Actions....Pages 256-271
A Hybrid Analysis for Security Protocols with State....Pages 272-287
Front Matter....Pages 289-289
Towards a Formal Semantics-Based Technique for Interprocedural Slicing....Pages 291-306
Integrating Software and Hardware Verification....Pages 307-322
Code Generation for Event-B....Pages 323-338
Front Matter....Pages 339-339
Verifying Linearizability on TSO Architectures....Pages 341-356
A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset....Pages 357-372
A Separation Principle for Embedded System Interfacing....Pages 373-388
Back Matter....Pages 389-390




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