مبانی ریاضی علوم کامپیوتری 1980: مقالات سمپوزیوم 9 در Rydzyna، لهستان، 1-5 سپتامبر 1980
Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980
نویسنده: Dines Bjørner (auth.), P. Dembiński (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1980
تعداد صفحات: 731
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 6 مگابایت