دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
دانلود کتاب روش های رسمی برای سیستم های توزیع مبتنی بر شی گرا: 10 IFIP WG 6.1 کنفرانس بین المللی، FMOODS 2008، اسلو، نروژ، 4-6 ژوئن، 2008 پرونده ها
مشخصات کتاب
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
ویرایش: [1 ed.] نویسندگان: Andrew Myers (auth.), Gilles Barthe, Frank S. de Boer (eds.) سری: Lecture Notes in Computer Science 5051 ISBN (شابک) : 3540688625, 9783540688624 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 259 [267] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 37,000
در صورت تبدیل فایل کتاب Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی برای سیستم های توزیع مبتنی بر شی گرا: 10 IFIP WG 6.1 کنفرانس بین المللی، FMOODS 2008، اسلو، نروژ، 4-6 ژوئن، 2008 پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های رسمی برای سیستم های توزیع مبتنی بر شی گرا: 10 IFIP WG 6.1 کنفرانس بین المللی، FMOODS 2008، اسلو، نروژ، 4-6 ژوئن، 2008 پرونده ها
این کتاب مجموعه مقالات داوری دهمین کنفرانس بین‌المللی IFIP WG 6.1 در روشهای رسمی برای سیستم‌های توزیع شده مبتنی بر شی باز، FMOODS 2008 است که در اسلو، نروژ، در ژوئن 2008 برگزار شد.
14 مقاله کامل اصلاح شده ارائه شده همراه با 1 سخنرانی دعوت شده
به دقت بررسی و از بین 35 مورد ارسالی انتخاب شدند. این مقالات
موضوعاتی مانند معناشناسی برنامه نویسی شی گرا را پوشش می دهد.
تکنیک های رسمی برای مشخصات، تجزیه و تحلیل، و پالایش؛ بررسی
مدل؛ اثبات قضیه و تأیید قیاسی؛ سیستم های نوع و تایپ رفتاری؛
روش های رسمی برای محاسبات سرویس گرا؛ ادغام الزامات کیفیت
خدمات در مدل های رسمی؛ رویکردهای رسمی به طراحی مبتنی بر
مولفه؛ و کاربرد روشهای رسمی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008.
The 14 revised full papers presented together with 1 invited
lecture were carefully reviewed and selected from 35
submissions. The papers cover topcics such as semantics of
object-oriented programming; formal techniques for
specification, analysis, and refinement; model checking;
theorem proving and deductive verification; type systems and
behavioral typing; formal methods for service-oriented
computing; integration of quality of service requirements
into formal models; formal approaches to component-based
design; and applications of formal methods.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب delivering happiness
دانلود کتاب 信息拜物教: 批判与解构
دانلود کتاب Benefit-Cost Analysis for Early Childhood Interventions: Workshop Summary
دانلود کتاب Standard Positioning Techniques I MD0961
