دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
دانلود کتاب FM 2009: روش های رسمی: کنگره دوم جهانی، ایدوفن، هلند، 2-6 نوامبر 2009. مقالات
مشخصات کتاب
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
ویرایش: [1 ed.] نویسندگان: Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.) سری: Lecture Notes in Computer Science 5850 : Programming and Software Engineering ISBN (شابک) : 9783642050893, 3642050891 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 820 [835] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 Mb
قیمت کتاب (تومان) : 30,000
در صورت تبدیل فایل کتاب FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب FM 2009: روش های رسمی: کنگره دوم جهانی، ایدوفن، هلند، 2-6 نوامبر 2009. مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب FM 2009: روش های رسمی: کنگره دوم جهانی، ایدوفن، هلند، 2-6 نوامبر 2009. مقالات
این کتاب مقالات داوری FM 2009، شانزدهمین سمپوزیوم بین المللی روش های رسمی را ارائه می دهد که به عنوان دومین کنگره جهانی روش های رسمی در آیندهوون، هلند، در نوامبر 2009 در اولین دوره رسمی بین المللی برگزار شد. Methods Week، FMWeek 2009.
45 مقاله کامل اصلاح شده همراه با 5 مقاله دعوت شده و 3 مقاله اضافی از روز صنعت به دقت بررسی و از بین 139 مقاله ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی بررسی مدل، ترکیب‌بندی، تأیید، همزمانی، پالایش، تحلیل استاتیک، اثبات قضیه، معناشناسی، کاربردهای صنعتی، شی‌گرایی، اشاره‌گرها، بلادرنگ، ابزارها و کاربردهای صنعتی، و چکیده‌های روز صنعت سازمان‌دهی شده‌اند. .
توضیحاتی درمورد کتاب به خارجی
This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in November 2009 in the course of the first International Formal Methods Week, FMWeek 2009.
The 45 revised full papers presented together with 5 invited papers and 3 additional papers from the Industry Day were carefully reviewed and selected from 139 submissions. The papers are organized in topical sections on model checking, compositionality, verification, concurrency, refinement, static analysis, theorem proving, semantics, industrial applications, object-orientation, pointers, real-time, tools and industrial applications, and industry-day abstracts.
