Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-Verifikation
فرمت کتاب
thesis/dissertation
زبان
german
تاریخ انتشار
1996
نویسنده
Klaus Schneiderشابک
3-89601-116-2
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران