FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS
محفوظ في:
المؤلف الرئيسي: | MILNE GEORGE |
---|---|
التنسيق: | كتاب |
منشور في: |
NEW YORK
MCGRAW HILL
1994
|
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
DESIGN VERIFICATION WITH E
حسب: PALNIKAR, S
منشور في: (2004) -
DESIGN VERIFICATION WITH E
حسب: PALNIKAR, S
منشور في: (2004) -
Logic Synthesis And Verification Algorithms
حسب: Hachtel, G.D
منشور في: (2003) -
BIOMETRICS : IDENTIFICATION VERIFICATION IN A NETWORKED
حسب: NANAVATI, S
منشور في: (2005) -
FORMAL LANGUAGES & AUTOMATA
حسب: LINZ PETER
منشور في: (2009)