Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Yoeli, Michael
التنسيق: Printed Book
اللغة:English
منشور في: New Jersey John Wiley & Sons 2008
الموضوعات:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

UL

تفاصيل المقتنيات من UL
رقم الطلب: 621.3.049.77 YOE
النسخة الحالة المباشرة غير متاحة

مواد مشابهة