خرید و دانلود نسخه کامل کتاب Abstract State Machines, Alloy, B, TLA, VDM, and Z

ماشین آلات دولتی ، آلیاژ ، B ، TLA ، VDM و Z

Abstract State Machines, Alloy, B, TLA, VDM, and Z

نویسنده: Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl

ناشر: Springer International Publishing

سال انتشار: 2018

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

زبان: English

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

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