خرید و دانلود نسخه کامل کتاب Provably Correct Systems

سیستم های قابل اثبات صحیح

Provably Correct Systems

نویسنده: Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)

ناشر: Springer International Publishing

سال انتشار: 2017

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

زبان: English

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

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