خرید و دانلود نسخه کامل کتاب Verification of systems and circuits using LOTOS, Petri Nets, and CCS

تأیید سیستم ها و مدارها با استفاده از LOTOS، Petri Nets و CCS

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

نویسنده: Yoeli, Michael; Kol, Rakefet

ناشر: Wiley-Interscience

سال انتشار: 2008

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

زبان: English

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

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