مبانی علوم نرم افزاری و ساختارهای محاسباتی: هفدهمین کنفرانس بین المللی، FOSSACS 2015، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و عملی نرم افزار، ETAPS 2015، لندن، انگلستان، 11-18 آوریل 2015، Proceedings
Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
نویسنده: Andrew Pitts (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2015
تعداد صفحات: 467
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 10 مگابایت