ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

دانلود کتاب روشهای رسمی یکپارچه: هفتمین کنفرانس بین المللی ، IFM 2009 ، دوسلدورف ، آلمان ، 16-19 فوریه ، 2009. مجموعه مقالات

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

مشخصات کتاب

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , , , , ,   
سری: Lecture Notes in Computer Science 5423 : Programming and Software Engineering 
ISBN (شابک) : 3642002544, 9783642002540 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2009 
تعداد صفحات: 376 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

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



کلمات کلیدی مربوط به کتاب روشهای رسمی یکپارچه: هفتمین کنفرانس بین المللی ، IFM 2009 ، دوسلدورف ، آلمان ، 16-19 فوریه ، 2009. مجموعه مقالات: منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، تکنیک های برنامه نویسی



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

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


در صورت تبدیل فایل کتاب Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روشهای رسمی یکپارچه: هفتمین کنفرانس بین المللی ، IFM 2009 ، دوسلدورف ، آلمان ، 16-19 فوریه ، 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روشهای رسمی یکپارچه: هفتمین کنفرانس بین المللی ، IFM 2009 ، دوسلدورف ، آلمان ، 16-19 فوریه ، 2009. مجموعه مقالات



این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین المللی روش های رسمی یکپارچه، IFM 2009، که در دوسلدورف، آلمان در فوریه 2009 برگزار شد، تشکیل می شود.

21 مقاله کامل اصلاح شده همراه با 3 مقاله ارائه شده است. مقالات دعوت شده با دقت بررسی و از بین 55 مورد ارسالی انتخاب شدند. این مقالات به طیف وسیعی از روش‌های رسمی یکپارچه، از نمادهای مدل‌سازی رسمی و نیمه‌رسمی، معناشناسی، تأیید، اصلاح، تبدیل مدل گرفته تا سیستم‌های نوع، منطق، ابزار و مطالعات موردی می‌پردازند.


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

This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009.

The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.



فهرست مطالب

Front Matter....Pages -
Developing Topology Discovery in Event-B....Pages 1-19
Decomposition Structures for Event-B....Pages 20-38
Taming the Unbounded for Hardware Synthesis....Pages 39-39
Verifying UML/OCL Operation Contracts....Pages 40-55
Property Specifications for Workflow Modelling....Pages 56-71
Formal Verification Based on Guided Random Walks....Pages 72-87
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format....Pages 88-102
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B....Pages 103-117
CSP with Hierarchical State....Pages 118-135
Predicate Abstraction in a Program Logic Calculus....Pages 136-150
Mechanised Translation of Control Law Diagrams into Circus ....Pages 151-166
Realizability of Choreographies Using Process Algebra Encodings....Pages 167-182
Modelling Divergence in Relational Concurrent Refinement....Pages 183-199
SAL-Based Symbolic Scheduling in Time-Triggered Networks....Pages 200-214
Incremental Reasoning for Multiple Inheritance....Pages 215-230
Model Checking LTL Formulae in RAISE with FDR....Pages 231-245
An Introduction to Grammar Convergence....Pages 246-260
Application of Graph Transformation in Verification of Dynamic Systems....Pages 261-276
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays....Pages 277-291
Challenges in the Specification of Full Contracts....Pages 292-306
Partial Order Reduction for State/Event LTL....Pages 307-321
Dynamic Path Reduction for Software Model Checking....Pages 322-336
Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions....Pages 337-351
Decompositional Petri Net Reductions....Pages 352-366
Back Matter....Pages -




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

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