دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Challenges of Software Verification (Intelligent Systems Reference Library, 238)
دانلود کتاب چالش های تأیید نرم افزار (کتابخانه مرجع سیستم های هوشمند، 238)
مشخصات کتاب
Challenges of Software Verification (Intelligent Systems Reference Library, 238)
ویرایش: [1st ed. 2023] نویسندگان: Vincenzo Arceri (editor), Agostino Cortesi (editor), Pietro Ferrara (editor), Martina Olliaro (editor) سری: ISBN (شابک) : 9811996008, 9789811996009 ناشر: Springer سال نشر: 2023 تعداد صفحات: 279 [275] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 41,000
در صورت تبدیل فایل کتاب Challenges of Software Verification (Intelligent Systems Reference Library, 238) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب چالش های تأیید نرم افزار (کتابخانه مرجع سیستم های هوشمند، 238) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
