مشخصات کتاب

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

ویرایش:  
نویسندگان: Jyotirmoy V. Deshmukh (editor),  Klaus Havelund (editor),  Ivan Perez (editor)  
سری: Lecture Notes in Computer Science, 13260 
ISBN (شابک) : 303106772X, 9783031067723 
ناشر: Springer 
سال نشر: 2022 
تعداد صفحات: 850
[846] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 62 Mb 

در صورت تبدیل فایل کتاب NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش‌های رسمی ناسا: چهاردهمین سمپوزیوم بین‌المللی، NFM 2022، پاسادنا، کالیفرنیا، ایالات متحده آمریکا، 24 تا 27 مه 2022، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب روش‌های رسمی ناسا: چهاردهمین سمپوزیوم بین‌المللی، NFM 2022، پاسادنا، کالیفرنیا، ایالات متحده آمریکا، 24 تا 27 مه 2022، مجموعه مقالات

این کتاب مجموعه مقالات چهاردهمین سمپوزیوم بین‌المللی روش‌های رسمی ناسا، NFM 2022 است که در پاسادنا، ایالات متحده آمریکا، طی 24 تا 27 می 2022 برگزار شد. ارسالی ها این جلد همچنین شامل 6 مقاله دعوت شده است. این مقالات به پیشرفت در روش های رسمی، تکنیک های روش های رسمی و روش های رسمی در عمل می پردازند. تمرکز بر موضوعاتی مانند اثبات قضیه تعاملی و خودکار؛ حل SMT و SAT؛ بررسی مدل؛ استفاده از یادگیری ماشین و استدلال احتمالی در روش های رسمی؛ روش‌های رسمی و زبان‌های مدل‌سازی گرافیکی مانند SysML یا UML. قابلیت استفاده از ابزارهای روش رسمی و کاربرد در صنعت و غیره

توضیحاتی درمورد کتاب به خارجی

This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118 submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Sinclair Lewis (University of Minnesota Pamphlets on American Writers Number. 27)

دانلود کتاب Augenärztliche Eingriffe: Eine Kurzgefasste Operationslehre

دانلود کتاب The Innovator's Solution: Creating and Sustaining Successful Growth

دانلود کتاب - Cilt 5 (M. S. 565 - M. S. 1378)

دانلود کتاب Lecture Notes on Mixed Type Partial Differential Eqns