خرید و دانلود نسخه کامل کتاب Predicate Calculus and Program Semantics

محاسبات محمول و معناشناسی برنامه

Predicate Calculus and Program Semantics

نویسنده: Edsger W. Dijkstra, Carel S. Scholten

ناشر: Springer

سال انتشار: 1990

تعداد صفحات: 233

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 4 مگابایت