دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
دانلود کتاب روشهای یکپارچه رسمی: پنجمین کنفرانس بین المللی، IFM 2005، Eindhoven، هلند، 29 نوامبر - 2 دسامبر 2005. پرونده ها
مشخصات کتاب
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
ویرایش: [1 ed.] نویسندگان: David Lorge Parnas (auth.), Judi Romijn, Graeme Smith, Jaco van de Pol (eds.) سری: Lecture Notes in Computer Science 3771 : Programming and Software Engineering ISBN (شابک) : 3540304924, 9783540304920 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2005 تعداد صفحات: 407 [415] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 48,000
در صورت تبدیل فایل کتاب Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای یکپارچه رسمی: پنجمین کنفرانس بین المللی، IFM 2005، Eindhoven، هلند، 29 نوامبر - 2 دسامبر 2005. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای یکپارچه رسمی: پنجمین کنفرانس بین المللی، IFM 2005، Eindhoven، هلند، 29 نوامبر - 2 دسامبر 2005. پرونده ها
این کتاب مجموعه مقالات داوری پنجمین کنفرانس بین‌المللی روشهای رسمی یکپارچه، IFM 2005، برگزار شده در آیندهوون، هلند، در نوامبر/دسامبر 2005 است.
19 مقاله کامل اصلاح‌شده همراه با ارائه شده است. 3 مقاله دعوت شده به دقت بررسی و از بین 40 مقاله ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در مورد مؤلفه‌ها، تأیید مبتنی بر وضعیت/رویداد، توسعه سیستم، برنامه‌های کاربردی B، پشتیبانی ابزار، حوزه‌های غیرنرم‌افزاری، معناشناسی، و همچنین UML و نمودارهای وضعیتی سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005.
The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.
