دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 II
دانلود کتاب ابزارها و الگوریتمها برای ساخت و تجزیه و تحلیل سیستمها: بیست و نهمین کنفرانس بینالمللی، 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 II
ویرایش:
نویسندگان: Sriram Sankaranarayanan. Natasha Sharygina
سری: Lecture Notes in Computer Science, 13994
ISBN (شابک) : 3031308190, 9783031308192
ناشر: Springer
سال نشر: 2023
تعداد صفحات: 614
[615]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 15 Mb
قیمت کتاب (تومان) : 66,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 II به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ابزارها و الگوریتمها برای ساخت و تجزیه و تحلیل سیستمها: بیست و نهمین کنفرانس بینالمللی، TACAS 2023 به عنوان بخشی از کنفرانسهای مشترک اروپایی در نظریه و عمل نرمافزار، ETAPS 2022 پاریس، فرانسه، 22-27 آوریل 2023 مجموعه مقالات، قسمت دوم برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
