خرید و دانلود نسخه کامل کتاب The Correctness-by-Construction Approach to Programming

رویکرد صحیح توسط ساخت و ساز به برنامه نویسی

The Correctness-by-Construction Approach to Programming

نویسنده: Derrick G. Kourie, Bruce W. Watson (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2012

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

زبان: English

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

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