دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
دانلود کتاب ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: 25 سال TACAS: TOOLympics ، به عنوان بخشی از ETAPS 2019 ، پراگ ، جمهوری چک ، 6 تا 11 آوریل 2019 ، مجموعه مقالات ، بخش سوم
مشخصات کتاب
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
ویرایش: [1st ed.] نویسندگان: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen سری: Lecture Notes in Computer Science 11429 ISBN (شابک) : 9783030175016 ناشر: Springer International Publishing سال نشر: 2019 تعداد صفحات: XXVII, 258 [280] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 Mb
قیمت کتاب (تومان) : 46,000
در صورت تبدیل فایل کتاب Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: 25 سال TACAS: TOOLympics ، به عنوان بخشی از ETAPS 2019 ، پراگ ، جمهوری چک ، 6 تا 11 آوریل 2019 ، مجموعه مقالات ، بخش سوم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: 25 سال TACAS: TOOLympics ، به عنوان بخشی از ETAPS 2019 ، پراگ ، جمهوری چک ، 6 تا 11 آوریل 2019 ، مجموعه مقالات ، بخش سوم
این کتاب تحت مجوز CC BY با دسترسی آزاد است.
این کتاب، LNCS 11429، بخش سوم از مجموعه مقالات بیست و پنجمین
کنفرانس بین المللی ابزارها و الگوریتم ها برای ساخت و تحلیل
است. of Systems، TACAS 2019، که در پراگ، جمهوری چک، در آوریل
2019 برگزار شد، به عنوان بخشی از کنفرانس های مشترک اروپایی در
زمینه تئوری و عمل نرم افزار، ETAPS 2019 برگزار شد. این یک جلد
ویژه به مناسبت 25 سالگرد TACAS.
توضیحاتی درمورد کتاب به خارجی
This book is Open Access under a CC BY licence.
This book, LNCS 11429, is part III of the proceedings of the
25th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems, TACAS 2019, which took
place in Prague, Czech Republic, in April 2019, held as part
of the European Joint Conferences on Theory and Practice of
Software, ETAPS 2019. It's a special volume on the occasion
of the 25 year anniversary of TACAS.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Why is English Literature?: Language and Letters for the Twenty-First Century
