خرید و دانلود نسخه کامل کتاب Verification of Digital and Hybrid Systems

تایید سیستم های دیجیتال و هیبریدی

Verification of Digital and Hybrid Systems

نویسنده: Kenneth McMillan (auth.), M. Kemal Inan, Robert P. Kurshan (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2000

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

زبان: English

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

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