Michael Yoeli

Michael Yoeli is the author of "Verification of Systems and Circuits Using Lotos, Petri Nets, and CCS", "Digital Networks", "Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS" and "Formal Verification of Hardware Design".

Books by Michael Yoeli

Digital Networks
Brzozowski, Janusz ...
Hardback:

Verification of S...
Yoeli, Michael
Digital download:

Formal Verificati...
Yoeli, Michael
Hardback: $62.00

Verification of S...
Yoeli, Michael
Digital download: