دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

توضیحاتی در مورد کتاب Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

نام کتاب : Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
ویرایش : 1st ed.
عنوان ترجمه شده به فارسی : ابزارها و الگوریتم های ساخت و ساز و تجزیه و تحلیل سیستم ها: 25th کنفرانس بین المللی ، TACAS 2019 ، که به عنوان بخشی از کنفرانس های مشترک اروپا در مورد تئوری و عمل نرم افزار ، ETAPS 2019 ، پراگ ، جمهوری چک ، 6 تا 11 آوریل 2019 ، مجموعه مقالات ، مجموعه مقالات ، مجموعه مقالات ، مجموعه مقالات قسمت دوم
سری : Lecture Notes in Computer Science 11428
نویسندگان : Tomáš Vojnar, Lijun Zhang
ناشر : Springer International Publishing
سال نشر : 2019
تعداد صفحات : XXIII, 413 [426]
ISBN (شابک) : 978-3-030-174
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 14 Mb