دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022 Proceedings

توضیحاتی در مورد کتاب Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022 Proceedings

نام کتاب : Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022 Proceedings
ویرایش : Part II
عنوان ترجمه شده به فارسی : ابزارها و الگوریتم های ساخت و تحلیل سیستم ها. بیست و هشتمین کنفرانس بین المللی، TACAS 2022 به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2022 مونیخ، آلمان، 2 تا 7 آوریل 2022 مجموعه مقالات برگزار شد.
سری : Lecture Notes in Computer Science, 13244
نویسندگان : Dana Fisman, Grigore Rosu
ناشر : Springer
سال نشر : 2022
تعداد صفحات : [506]
ISBN (شابک) : 9783030995263 , 9783030995270
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 16 Mb