دانلود کتاب Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture … / Programming and Software Engineering) (به فارسی: روش های رسمی برای سیستم های بحرانی صنعتی: چهاردهمین کارگاه بین المللی، FMICS 2009، آیندهوون، هلند، 2-3 نوامبر 2009، مجموعه مقالات (سخنرانی … / برنامه نویسی و مهندسی نرم افزار)) نوشته شده توسط «María Alpuente – Byron Cook – Christophe Joubert»
اطلاعات کتاب روش های رسمی برای سیستم های بحرانی صنعتی: چهاردهمین کارگاه بین المللی، FMICS 2009، آیندهوون، هلند، 2-3 نوامبر 2009، مجموعه مقالات (سخنرانی … / برنامه نویسی و مهندسی نرم افزار)
موضوع اصلی: فن آوری
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: María Alpuente – Byron Cook – Christophe Joubert
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2009
تعداد صفحه: 206
حجم کتاب: 10 مگابایت
کد کتاب: 3642045693 , 9783642045691
نوبت چاپ: 1
توضیحات کتاب روش های رسمی برای سیستم های بحرانی صنعتی: چهاردهمین کارگاه بین المللی، FMICS 2009، آیندهوون، هلند، 2-3 نوامبر 2009، مجموعه مقالات (سخنرانی … / برنامه نویسی و مهندسی نرم افزار)
این کتاب مجموعه مقالات چهاردهمین کارگاه بین المللی روش های رسمی برای سیستم های بحرانی صنعتی، FMICS 2009 است که در آیندهوون، هلند، در نوامبر 2009 برگزار شد.
10 مقاله ارائه شده با دقت بررسی و انتخاب شدند. از 25 ارسالی این جلد همچنین حاوی 4 مقاله دعوت شده و 6 پوستر است.
هدف از مجموعه کارگاه های FMICS فراهم کردن یک انجمن برای محققانی است که علاقه مند به توسعه و کاربرد روش های رسمی در صنعت هستند. همچنین برای ارتقای تحقیق و توسعه برای بهبود روش‌ها و ابزارهای رسمی برای کاربردهای صنعتی تلاش می‌کند.
This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009.
The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with 4 invited papers and 6 posters.
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.