دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
دانلود کتاب روش ها ، مبانی و برنامه های رسمی: چهاردهمین سمپوزیوم برزیل ، SBMF 2011 ، سائو پائولو ، برزیل ، 26-30 سپتامبر 2011 ، نسخه های تجدید نظر شده
مشخصات کتاب
Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
ویرایش: 1 نویسندگان: Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.) سری: Lecture Notes in Computer Science 7021 Programming and Software Engineering ISBN (شابک) : 9783642250316, 3642250319 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 213 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 53,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب روش ها ، مبانی و برنامه های رسمی: چهاردهمین سمپوزیوم برزیل ، SBMF 2011 ، سائو پائولو ، برزیل ، 26-30 سپتامبر 2011 ، نسخه های تجدید نظر شده: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، مدیریت محاسبات و سیستم های اطلاعاتی
در صورت تبدیل فایل کتاب Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش ها ، مبانی و برنامه های رسمی: چهاردهمین سمپوزیوم برزیل ، SBMF 2011 ، سائو پائولو ، برزیل ، 26-30 سپتامبر 2011 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش ها ، مبانی و برنامه های رسمی: چهاردهمین سمپوزیوم برزیل ، SBMF 2011 ، سائو پائولو ، برزیل ، 26-30 سپتامبر 2011 ، نسخه های تجدید نظر شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل چهاردهمین سمپوزیوم برزیل در روش‌های رسمی، SBMF 2011 است که در سائوپائولو، برزیل، در سپتامبر 2011 برگزار شد. با همکاری CBSoft 2011، دومین کنفرانس برزیلی نرم افزار: تئوری و عمل. 13 مقاله کامل اصلاح شده با دقت بررسی و از بین 37 مقاله ارسالی انتخاب شدند. مقالات ارائه شده طیف گسترده ای از مسائل اساسی و روش شناختی در روش های رسمی برای طراحی و تجزیه و تحلیل سیستم های نرم افزاری و سخت افزاری و همچنین برنامه های کاربردی در حوزه های مختلف را پوشش می دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
فهرست مطالب
Front Matter....Pages -
Model Transformation and Induced Instance Migration: A Universal Framework....Pages 1-15
SPARKSkein: A Formal and Fast Reference Implementation of Skein....Pages 16-27
Full Abstraction at Package Boundaries of Object-Oriented Languages....Pages 28-43
B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design....Pages 44-59
Simulation and Verification of Synchronous Set Relations in Rewriting Logic....Pages 60-75
PiStache : Implementing π -Calculus in Scala....Pages 76-91
Sound and Complete Abstract Graph Transformation....Pages 92-107
On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts....Pages 108-123
Modular Embedding of the Object Constraint Language into a Programming Language....Pages 124-139
Algebra of Monotonic Boolean Transformers....Pages 140-155
Behavioural Preservation in Fault Tolerant Patterns....Pages 156-171
A Formal Approach to Fixing Bugs....Pages 172-187
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic....Pages 188-203
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Respekt – Heimweh nach Menschlichkeit
دانلود کتاب The Fatal Conceit: The Errors of Socialism
دانلود کتاب Quasipower Series and Quasianalytic Classes of Functions
دانلود کتاب Furniture Makes the Room: Create Special Pieces to Style a Home You Love
