مشخصات کتاب

Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

ویرایش: 1 
نویسندگان: Leila Ribeiro. Thierry Lecomte (eds.)  
سری: Lecture Notes in Computer Science 10090 
ISBN (شابک) : 9783319498157, 9783319498140 
ناشر: Springer International Publishing 
سال نشر: 2016 
تعداد صفحات: 258 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 19 مگابایت 

کلمات کلیدی مربوط به کتاب روش های رسمی: مبانی و کاربردها: نوزدهمین سمپوزیوم برزیل ، SBMF 2016 ، ناتال ، برزیل ، 23-25 ​​نوامبر 2016 ، مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، شبیه سازی و مدل سازی، مدیریت محاسبات و سیستم های اطلاعاتی، منطق ریاضی و زبان های رسمی

در صورت تبدیل فایل کتاب Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش های رسمی: مبانی و کاربردها: نوزدهمین سمپوزیوم برزیل ، SBMF 2016 ، ناتال ، برزیل ، 23-25 ​​نوامبر 2016 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب روش های رسمی: مبانی و کاربردها: نوزدهمین سمپوزیوم برزیل ، SBMF 2016 ، ناتال ، برزیل ، 23-25 ​​نوامبر 2016 ، مجموعه مقالات

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

فهرست مطالب

Front Matter....Pages I-X
Front Matter....Pages 1-1
Formal Model-Based Constraint Solving and Document Generation....Pages 3-20
Formal Testing from Natural Language in an Industrial Context....Pages 21-38
Front Matter....Pages 39-39
Application of Formal Methods to Verify Business Processes....Pages 41-58
An Approach for Verifying Educational Robots....Pages 59-77
Verigraph: A System for Specification and Analysis of Graph Grammars....Pages 78-94
Front Matter....Pages 95-95
Modelling ‘Operation-Calls’ in Event-B with Shared-Event Composition....Pages 97-111
Algebraic Foundations for Specification Refinements....Pages 112-128
On Interval Dynamic Logic....Pages 129-144
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications....Pages 145-160
A Refinement Repair Algorithm Based on Refinement Game for KMTS Models....Pages 161-178
Massive Open Online Courses and Monoids....Pages 179-195
Front Matter....Pages 197-197
A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems....Pages 199-216
Model Checking Requirements....Pages 217-234
Refinement Verification of Sequence Diagrams Using CSP....Pages 235-252
Back Matter....Pages 253-253

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

کتاب های تصادفی

دانلود کتاب Diestel Graph Theory

دانلود کتاب Hymne a Ammon-Ra

دانلود کتاب Drinking Water Treatment: Focusing on Appropriate Technology and Sustainability

دانلود کتاب What's Your Procedure For That?: A Classroom Management Guide From Morning Meeting to Dismissal

دانلود کتاب The American Deep State: Big Money, Big Oil, and the Struggle for U.S. Democracy