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

相似書籍