خرید و دانلود نسخه کامل کتاب Concrete Semantics: With Isabelle/HOL

معانی بتنی: با ایزابل / هول

Concrete Semantics: With Isabelle/HOL

نویسنده: Tobias Nipkow, Gerwin Klein (auth.)

ناشر: Springer International Publishing

سال انتشار: 2014

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

زبان: English

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

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