خرید و دانلود نسخه کامل کتاب Semantik und Programmverifikation

معناشناسی و تأیید برنامه

Semantik und Programmverifikation

نویسنده: Prof. Dr. rer. nat. habil. Christoph Walther (auth.)

ناشر: Vieweg+Teubner Verlag

سال انتشار: 2001

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

زبان: German

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

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