دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Engineering Secure Software and Systems: 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
دانلود کتاب مهندسی و نرم افزارهای ایمن مهندسی: پنجمین سمپوزیوم بین المللی ، ESSoS 2013 ، پاریس ، فرانسه ، 27 فوریه - 1 مارس 2013. مجموعه مقالات
مشخصات کتاب
Engineering Secure Software and Systems: 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
ویرایش: [1 ed.] نویسندگان: Bastian Braun, Patrick Gemein, Hans P. Reiser, Joachim Posegga (auth.), Jan Jürjens, Benjamin Livshits, Riccardo Scandariato (eds.) سری: Lecture Notes in Computer Science 7781 ISBN (شابک) : 9783642365621, 9783642365638 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 231 [240] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 30,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Engineering Secure Software and Systems: 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی و نرم افزارهای ایمن مهندسی: پنجمین سمپوزیوم بین المللی ، ESSoS 2013 ، پاریس ، فرانسه ، 27 فوریه - 1 مارس 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی و نرم افزارهای ایمن مهندسی: پنجمین سمپوزیوم بین المللی ، ESSoS 2013 ، پاریس ، فرانسه ، 27 فوریه - 1 مارس 2013. مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین سمپوزیوم بین المللی مهندسی نرم افزار و سیستم های ایمن، ESSoS 2013، در پاریس، فرانسه، در فوریه/مارس 2013 برگزار شد. 13 مقاله کامل اصلاح شده ارائه شده همراه با دو مقاله ایده با دقت بررسی شدند. و از 62 مورد ارسالی انتخاب شد. مقالات در بخش های موضوعی در مورد برنامه نویسی ایمن، خط مشی ها، اثبات، روش های رسمی، و تجزیه و تحلیل سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th International Symposium on Engineering Secure Software and Systems, ESSoS 2013, held in Paris, France, in February/March 2013. The 13 revised full papers presented together with two idea papers were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on secure programming, policies, proving, formal methods, and analyzing.
