مبانی علم نرم افزار و ساختارهای محاسباتی: دوازدهمین کنفرانس بین المللی ، FOSSACS 2009 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2009 ، York ، UK ، 22-29 مارس ، 2009. مجموعه مقالات
Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
نویسنده: Wolfgang Thomas (auth.), Luca de Alfaro (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2009
تعداد صفحات: 483
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 6 مگابایت