دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
دانلود کتاب روش‌های رسمی: مبانی و کاربردها: هجدهمین سمپوزیوم برزیل، SBMF 2015، بلو هوریزونته، برزیل، 21-22 سپتامبر 2015، مجموعه مقالات
مشخصات کتاب
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
ویرایش: 1
نویسندگان: Márcio Cornélio. Bill Roscoe (eds.)
سری: Lecture Notes in Computer Science 9526
ISBN (شابک) : 9783319294728, 9783319294735
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 203
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 15 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب روش‌های رسمی: مبانی و کاربردها: هجدهمین سمپوزیوم برزیل، SBMF 2015، بلو هوریزونته، برزیل، 21-22 سپتامبر 2015، مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مترجمان، مدیریت محاسبات و سیستم های اطلاعاتی
در صورت تبدیل فایل کتاب Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش‌های رسمی: مبانی و کاربردها: هجدهمین سمپوزیوم برزیل، SBMF 2015، بلو هوریزونته، برزیل، 21-22 سپتامبر 2015، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش‌های رسمی: مبانی و کاربردها: هجدهمین سمپوزیوم برزیل، SBMF 2015، بلو هوریزونته، برزیل، 21-22 سپتامبر 2015، مجموعه مقالات
توضیحاتی درمورد کتاب به خارجی
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.
The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.
فهرست مطالب
Front Matter....Pages I-XVIII
Front Matter....Pages 1-1
Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware....Pages 3-18
Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking....Pages 19-35
Front Matter....Pages 37-37
Mobile CSP....Pages 39-55
Evaluating the Assignment of Behavioral Goals to Coalitions of Agents....Pages 56-73
Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case....Pages 74-89
Front Matter....Pages 91-91
Refinement Strategies for Safety-Critical Java....Pages 93-109
Verifying Transformations of Java Programs Using Alloy....Pages 110-126
A Mechanized Textbook Proof of a Type Unification Algorithm....Pages 127-141
Front Matter....Pages 143-143
Automatic Generation of Test Cases and Test Purposes from Natural Language....Pages 145-161
Time Performance Formal Evaluation of Complex Systems....Pages 162-177
Test Case Generation from Natural Language Requirements Using CPN Simulation....Pages 178-193
Back Matter....Pages 195-195
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Computational Methods in Sciences and Engineering 2003: Proceedings of the International Conference (Iccmse 2003)
دانلود کتاب Geschlechterdifferenzen im Bildungssystem: Jahresgutachten 2009
