دانلود کتاب Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings (به فارسی: روش‌های رسمی و مهندسی نرم‌افزار: نهمین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2007، Boca Raton، FL، ایالات متحده آمریکا، 14-15 نوامبر، 2007. مجموعه مقالات) نوشته شده توسط «J. -R. Abrial (auth.) – Michael Butler – Michael G. Hinchey – María M. Larrondo-Petrie (eds.)»
اطلاعات کتاب روش‌های رسمی و مهندسی نرم‌افزار: نهمین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2007، Boca Raton، FL، ایالات متحده آمریکا، 14-15 نوامبر، 2007. مجموعه مقالات
موضوع اصلی: فن آوری
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: J. -R. Abrial (auth.) – Michael Butler – Michael G. Hinchey – María M. Larrondo-Petrie (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 387
حجم کتاب: 5 مگابایت
کد کتاب: 3540766480 , 9783540766483
نوبت چاپ: 1
توضیحات کتاب روش‌های رسمی و مهندسی نرم‌افزار: نهمین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2007، Boca Raton، FL، ایالات متحده آمریکا، 14-15 نوامبر، 2007. مجموعه مقالات
این کتاب مجموعه مقالات داوری نهمین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2007 است که در بوکا راتون، فلوریدا، ایالات متحده آمریکا، 14 تا 15 نوامبر، 2007 برگزار شد.
19 مقاله کامل اصلاح‌شده همراه با دو سخنرانی دعوت شده ارائه شده، به دقت بررسی و از بین 38 مورد ارسالی انتخاب شدند. این مقالات به تمام مسائل جاری در روش های رسمی و کاربردهای آنها در مهندسی نرم افزار می پردازد. آنها در بخش های موضوعی در مورد امنیت و دانش، سیستم های تعبیه شده، آزمایش، تجزیه و تحلیل خودکار، سخت افزار و همزمان سازماندهی شده اند.
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007.
The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on security and knowledge, embedded systems, testing, automated analysis, hardware and concurrency.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.