johan
از شی گرایی تا روش های صوری: مقالاتی به یاد اول یوهان دال
دانلود کتاب From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (به فارسی: از شی گرایی تا روش های صوری: مقالاتی به یاد اول یوهان دال) نوشته شده توسط «Olaf Owe – Stein Krogdahl – Tom Lyche (auth.) – Olaf Owe – Stein Krogdahl – Tom Lyche (eds.)» اطلاعات کتاب از شی گرایی تا روش های صوری: مقالاتی به یاد اول یوهان دال موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Olaf Owe – Stein Krogdahl – Tom Lyche (auth.) – Olaf Owe – Stein Krogdahl – Tom Lyche (eds.) زبان: English فرمت کتاب: pdf…
یوهان ون بنتم درباره منطق و دینامیک اطلاعات
دانلود کتاب Johan Van Benthem on Logic and Information Dynamics (به فارسی: یوهان ون بنتم درباره منطق و دینامیک اطلاعات) نوشته شده توسط «Alexandru Baltag – Sonja Smets (eds.)» اطلاعات کتاب یوهان ون بنتم درباره منطق و دینامیک اطلاعات موضوع اصلی: علوم (عمومی) نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Alexandru Baltag – Sonja Smets (eds.) زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2014 تعداد صفحه: 1027 / 1072 حجم فایل: 13.71 مگابایت کد کتاب: 3319060252 , 9783319060255 نوبت چاپ: 1 توضیحات کتاب یوهان ون بنتم درباره منطق و دینامیک اطلاعات این کتاب برنامه دینامیک…