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

معانی بتونی با ایزابل / HOL

Concrete Semantics with Isabelle/HOL

نویسنده: Tobias Nipkow, Gerwin Klein

ناشر: lecture notes, version 10 Jan 2017, 2017

سال انتشار: 2017

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

زبان: English

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

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