دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science)
دانلود کتاب تأیید نرم افزار و روشهای رسمی برای سیستم های خودمختار با قابلیت ML (یادداشت های سخنرانی در علوم کامپیوتر)
مشخصات کتاب
Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science)
ویرایش: نویسندگان: Omri Isac (editor), Radoslav Ivanov (editor), Guy Katz (editor), Nina Narodytska (editor), Laura Nenzi (editor) سری: ISBN (شابک) : 3031212215, 9783031212215 ناشر: Springer سال نشر: 2022 تعداد صفحات: 216 [213] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 64,000
در صورت تبدیل فایل کتاب Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید نرم افزار و روشهای رسمی برای سیستم های خودمختار با قابلیت ML (یادداشت های سخنرانی در علوم کامپیوتر) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
