Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Yoeli, Michael
مؤلفون آخرون:	Kol, Rakefet
منشور في:	John Wiley & Sons, Incorporated
الموضوعات:	UMZ Computers Integrated circuits > Verification Computer programming Computer science UPD Parallel processing Computer engineering Distributed control systems Design LOTOS (Computer program language) Engineering Petri nets Electrical engineering Integrated circuits > Verification. ; Computer software > Verification. ; LOTOS (Computer program language) ; Petri nets. Computer software > Verification
الوصول للمادة أونلاين:	Full Text - Ebook
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

كن أول من يترك تعليقا!