دانلود کتاب منطق برنامهنویسی و محاسبات طراحی گسسته: مدرسه تابستانی بینالمللی به کارگردانی F.L. بائر، ام. بروی، ای. دبلیو دایکسترا، سی.آر. هور بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
ویرایش : 1
عنوان ترجمه شده به فارسی : منطق برنامهنویسی و محاسبات طراحی گسسته: مدرسه تابستانی بینالمللی به کارگردانی F.L. بائر، ام. بروی، ای. دبلیو دایکسترا، سی.آر. هور
سری : NATO ASI Series 36
نویسندگان : Richard S. Bird (auth.), Manfred Broy (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1987
تعداد صفحات : 412
ISBN (شابک) : 9783642873768 , 9783642873744
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 13 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.