مفاهیم نظری محاسبات - ICTAC 2007: 4th International Colloquium، Macau، China، 26-28 سپتامبر 2007. پرونده ها
Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
نویسنده: Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2007
تعداد صفحات: 490
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت