مبانی علم نرم افزار و ساختارهای محاسباتی: بیستمین کنفرانس بین المللی ، FOSSACS 2017 ، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2017 ، اوپسالا ، سوئد ، 22-29 آوریل 2017 ، مجموعه مقالات
Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
نویسنده: Javier Esparza, Andrzej S. Murawski (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2017
تعداد صفحات: 571
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 12 مگابایت