دانلود کتاب Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
کتاب روش‌های رسمی برای سیستم‌های بحرانی صنعتی: شانزدهمین کارگاه بین‌المللی، FMICS 2011، ترنتو، ایتالیا، 29-30 اوت 2011. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب روش‌های رسمی برای سیستم‌های بحرانی صنعتی: شانزدهمین کارگاه بین‌المللی، FMICS 2011، ترنتو، ایتالیا، 29-30 اوت 2011. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
نام کتاب : Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : روش‌های رسمی برای سیستم‌های بحرانی صنعتی: شانزدهمین کارگاه بین‌المللی، FMICS 2011، ترنتو، ایتالیا، 29-30 اوت 2011. مجموعه مقالات
سری : Lecture Notes in Computer Science 6959 : Programming and Software Engineering
نویسندگان : Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2011
تعداد صفحات : 269
ISBN (شابک) : 9783642244308 , 9783642244315
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.