دانلود کتاب 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 I

توضیحاتی در مورد کتاب 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 I

نام کتاب : 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 I
ویرایش : 1st ed.
عنوان ترجمه شده به فارسی : ابزارها و الگوریتم های ساخت و ساز و تجزیه و تحلیل سیستم ها: 25th کنفرانس بین المللی ، TACAS 2019 ، که به عنوان بخشی از کنفرانس های مشترک اروپا در مورد تئوری و عمل نرم افزار ، ETAPS 2019 ، پراگ ، جمهوری چک ، 6 تا 11 آوریل 2019 ، مجموعه مقالات ، مجموعه مقالات ، مجموعه مقالات ، مجموعه مقالات قسمت اول
سری : Lecture Notes in Computer Science 11427
نویسندگان : Tomáš Vojnar, Lijun Zhang
ناشر : Springer International Publishing
سال نشر : 2019
تعداد صفحات : XXIII, 433 [446]
ISBN (شابک) : 978-3-030-174
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 25 Mb