دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
دانلود کتاب روشهای رسمی: مبانی و کاربردها: شانزدهمین سمپوزیوم برزیل ، SBMF 2013 ، برزیل ، برزیل ، 29 سپتامبر - 4 اکتبر 2013 ، مجموعه مقالات
مشخصات کتاب
Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
ویرایش: 1 نویسندگان: Christiano Braga, Cássio Santos (auth.), Juliano Iyoda, Leonardo de Moura (eds.) سری: Lecture Notes in Computer Science 8195 ISBN (شابک) : 9783642410703, 9783642410710 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 252 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 67,000
کلمات کلیدی مربوط به کتاب روشهای رسمی: مبانی و کاربردها: شانزدهمین سمپوزیوم برزیل ، SBMF 2013 ، برزیل ، برزیل ، 29 سپتامبر - 4 اکتبر 2013 ، مجموعه مقالات: علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی: مبانی و کاربردها: شانزدهمین سمپوزیوم برزیل ، SBMF 2013 ، برزیل ، برزیل ، 29 سپتامبر - 4 اکتبر 2013 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی: مبانی و کاربردها: شانزدهمین سمپوزیوم برزیل ، SBMF 2013 ، برزیل ، برزیل ، 29 سپتامبر - 4 اکتبر 2013 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری شانزدهمین سمپوزیوم برزیلی روشهای رسمی، SBMF 2013 است که در برازیلیا، برزیل، در سپتامبر/اکتبر 2013 برگزار شد. ارسالی ها مقالات ارائه شده طیف گسترده ای از مسائل اساسی و روش شناختی در روش های رسمی برای طراحی و تجزیه و تحلیل سیستم های نرم افزاری و سخت افزاری و همچنین برنامه های کاربردی در حوزه های مختلف را پوشش می دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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 -
Meaningful Models....Pages 1-16
Deductive Generalization....Pages 17-17
Unifying Theories of Logic and Specification....Pages 18-33
Institution-Based Semantics for MOF and QVT-Relations....Pages 34-50
Derivation and Verification of Parallel Components for the Needs of an HPC Cloud....Pages 51-66
An Executable Semantics for a Multimedia Authoring Language....Pages 67-82
On the Use of SPIN for Studying the Behavior of Nested Petri Nets....Pages 83-98
Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking....Pages 99-114
Toward the Revision of CTL Models through Kripke Modal Transition Systems....Pages 115-130
Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy....Pages 131-146
Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations....Pages 147-162
A Refinement Framework for Autonomous Agents....Pages 163-178
A Formal Semantics for SysML Activity Diagrams....Pages 179-194
Formal Analysis of Memory Contention in a Multiprocessor System....Pages 195-210
Algebraic Graph Transformations with Inheritance....Pages 211-226
Generating Protocol Software from CPN Models Annotated with Pragmatics....Pages 227-242
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب From molecules to minds: challenges for the 21st century : workshop summary
دانلود کتاب Kant on Swedenborg: Dreams of a Spirit-Seer and Other Writings
دانلود کتاب Itinéraires de chimistes : 1857-2007, 150 ans de chimie en France avec les présidents de la SFC
دانلود کتاب Electronic and Electrical Engineering
