دانلود کتاب Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
کتاب روشهای رسمی برای سیستم های بحرانی صنعتی: سیزدهمین کارگاه بین المللی ، FMICS 2008 ، L’Aquila ، ایتالیا ، 15 تا 16 سپتامبر 2008 ، مقاله های منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب روشهای رسمی برای سیستم های بحرانی صنعتی: سیزدهمین کارگاه بین المللی ، FMICS 2008 ، L’Aquila ، ایتالیا ، 15 تا 16 سپتامبر 2008 ، مقاله های منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
نام کتاب : Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : روشهای رسمی برای سیستم های بحرانی صنعتی: سیزدهمین کارگاه بین المللی ، FMICS 2008 ، L’Aquila ، ایتالیا ، 15 تا 16 سپتامبر 2008 ، مقاله های منتخب اصلاح شده
سری : Lecture Notes in Computer Science 5596 : Programming and Software Engineering
نویسندگان : Steven P. Miller (auth.), Darren Cofer, Alessandro Fantechi (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2009
تعداد صفحات : 242
ISBN (شابک) : 9783642032400 , 3642032400
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات پس از کارگاه آموزشی سیزدهمین کارگاه بین‌المللی روشهای رسمی برای سیستم‌های بحرانی صنعتی، FMICS 2008 است که در لاکویلا، ایتالیا، در سپتامبر 2008 برگزار شد - با ASE 2008، بیست و سومین کنفرانس بین المللی مهندسی نرم افزار خودکار.
14 مقاله کامل اصلاح شده ارائه شده همراه با چکیده 3 ارائه دعوت شده و 2 ارائه کوتاه معرفی کننده پانل با دقت از 36 ارسال اولیه انتخاب شدند. این مقالات در تلاش برای ترویج تحقیق و توسعه برای بهبود روش‌ها و ابزارهای رسمی برای کاربردهای صنعتی هستند. آنها موضوعاتی مانند بررسی مدل، آزمایش، تأیید نرم افزار، عملکرد بلادرنگ، و مطالعات موردی صنعتی را پوشش می دهند.
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2008, held in L'Aquila, Italy, in September 2008 - colocated with ASE 2008, the 23rd International Conference on Automated Software Engineering.
The 14 revised full papers presented together with the abstracts of 3 invited presentations and 2 short presentations introducing the panel were carefully selected from 36 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications. They cover topics such as model checking, testing, software verification, real-time performance, and industrial case studies.
پست ها تصادفی