دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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، مقالات منتخب اصلاح شده
مشخصات کتاب
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
ویرایش: [1 ed.] نویسندگان: Steven P. Miller (auth.), Darren Cofer, Alessandro Fantechi (eds.) سری: Lecture Notes in Computer Science 5596 : Programming and Software Engineering ISBN (شابک) : 9783642032400, 3642032400 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 233 [242] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 59,000
در صورت تبدیل فایل کتاب Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش‌های رسمی برای سیستم‌های بحرانی صنعتی: سیزدهمین کارگاه بین‌المللی، FMICS 2008، L'Aquila، ایتالیا، 15-16 سپتامبر 2008، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش‌های رسمی برای سیستم‌های بحرانی صنعتی: سیزدهمین کارگاه بین‌المللی، FMICS 2008، L'Aquila، ایتالیا، 15-16 سپتامبر 2008، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از کارگاه آموزشی سیزدهمین کارگاه بین‌المللی روش‌های رسمی برای سیستم‌های بحرانی صنعتی، 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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Trick or Treatment: The Undeniable Facts about Alternative Medicine
دانلود کتاب Modeling, Learning, and Processing of Text Technological Data Structures
دانلود کتاب Computational Reality: Solving Nonlinear and Coupled Problems in Continuum Mechanics
