Все книги автора Michael Yoeli
Найдено 1 книг
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
A Step-by-Step Guide to Verification of Digital Systems This practical book provides a step-by-step,...