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

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

مواد مشابهة