دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I
دانلود کتاب ابزارها و الگوریتم های ساخت و ساز و تجزیه و تحلیل سیستم ها: 29 مین کنفرانس بین المللی ، TACAS 2023 ، که به عنوان بخشی از کنفرانس های مشترک اروپا در مورد تئوری و عمل نرم افزار ، Etaps 2022 ، پاریس ، فرانسه ، 22-27 آوریل ، 2023 ، مجموعه مقالات ، قسمت اول برگزار شد.
مشخصات کتاب
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I
ویرایش: نویسندگان: Sriram Sankaranarayanan, Natasha Sharygina سری: ISBN (شابک) : 9783031308239, 3031308239 ناشر: Springer Nature سال نشر: 2023 تعداد صفحات: 0 زبان: English فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 67 مگابایت
قیمت کتاب (تومان) : 63,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ابزارها و الگوریتم های ساخت و ساز و تجزیه و تحلیل سیستم ها: 29 مین کنفرانس بین المللی ، TACAS 2023 ، که به عنوان بخشی از کنفرانس های مشترک اروپا در مورد تئوری و عمل نرم افزار ، Etaps 2022 ، پاریس ، فرانسه ، 22-27 آوریل ، 2023 ، مجموعه مقالات ، قسمت اول برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
