روش های رسمی عملی برای طراحی سخت افزار
Practical Formal Methods for Hardware Design
نویسنده: Carlos Delgado Kloos, Werner Damm, Juan Goicolea (auth.), Carlos Delgado Kloos, Werner Damm (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1997
تعداد صفحات: 303
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 10 مگابایت