مبانی علوم نرم افزاری و ساختارهای محاسباتی: شانزدهمین کنفرانس بین المللی ، FOSSACS 2013 ، به عنوان بخشی از کنفرانس های مشترک اروپا درباره نظریه و عمل نرم افزار ، ETAPS 2013 ، رم ، ایتالیا ، 16 تا 24 مارس 2013. مجموعه مقالات
Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
نویسنده: Jonathan Hayman, Tobias Heindel (auth.), Frank Pfenning (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2013
تعداد صفحات: 451 [470]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت