Hardcover Book
Show unavailable items

Releases by Yoeli, Michael (Department of Computer Science, Technion (Israel))

Cover for Yoeli, Michael (Department of Computer Science, Technion (Israel)) · Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Wiley Series on Parallel and Distributed Computing (Hardcover Book) (2008)
Hardcover Book
Verification of Systems and Circ...
Yoeli, Michael (Department of Co...