دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
دانلود کتاب روش های رسمی ناسا: هفتمین سمپوزیوم بین المللی ، NFM 2015 ، پاسادنا ، کالیفرنیا ، ایالات متحده ، 27 تا 29 آوریل 2015 ، مجموعه مقالات
مشخصات کتاب
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
ویرایش: [1 ed.] نویسندگان: Klaus Havelund, Gerard Holzmann, Rajeev Joshi (eds.) سری: Lecture Notes in Computer Science 9058 ISBN (شابک) : 9783319175232, 9783319175249 ناشر: Springer International Publishing سال نشر: 2015 تعداد صفحات: 458 [466] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 Mb
قیمت کتاب (تومان) : 51,000
در صورت تبدیل فایل کتاب NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی ناسا: هفتمین سمپوزیوم بین المللی ، NFM 2015 ، پاسادنا ، کالیفرنیا ، ایالات متحده ، 27 تا 29 آوریل 2015 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های رسمی ناسا: هفتمین سمپوزیوم بین المللی ، NFM 2015 ، پاسادنا ، کالیفرنیا ، ایالات متحده ، 27 تا 29 آوریل 2015 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین سمپوزیوم بین‌المللی روش‌های رسمی ناسا، NFM 2015 است که در پاسادنا، کالیفرنیا، ایالات متحده آمریکا، در آوریل 2015 برگزار شد.
24 مقاله منظم اصلاح‌شده ارائه شده است. به همراه 9 مقاله کوتاه به دقت بررسی و از بین 108 مقاله ارسالی انتخاب شد. موضوعات شامل بررسی مدل، اثبات قضیه. حل SAT و SMT؛ اجرای نمادین؛ تجزیه و تحلیل استاتیک؛ تایید زمان اجرا؛ تست سیستماتیک؛ اصلاح برنامه؛ تأیید ترکیبی؛ امنیت و تشخیص نفوذ؛ فرمالیسم های مدل سازی و مشخصات؛ توسعه مبتنی بر مدل؛ تست مبتنی بر مدل؛ مهندسی نیازمندی؛ رویکردهای رسمی برای تحمل خطا؛ و کاربرد روش های رسمی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015.
The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.
