سخت افزار دیجیتال / سیستم های نرم افزاری: مشخصات و تأیید صحت
Digitale Hardware/Software-Systeme: Spezifikation und Verifikation
نویسنده: Christian Haubelt, Jürgen Teich (auth.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2010
تعداد صفحات: 608
زبان: German
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت