خرید و دانلود نسخه کامل کتاب The spin model checker : primer and reference manual

بررسی کننده چرخش مدل: دستورالعمل آغازین و مرجع

The spin model checker : primer and reference manual

نویسنده: Gerard J Holzmann

ناشر: Addison-Wesley

سال انتشار: 2004

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

زبان: English

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

حجم فایل: 22 کیلوبایت