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

Chi tiết về thư mục
Tác giả chính: Yoeli, Michael
Ngôn ngữ:English
Được phát hành: New Jersey John Wiley & Sons 2008
Những chủ đề:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

Những quyển sách tương tự