Michael Yoeli
Жанры и тэги:
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, interactive introduction to formal verification o…
Подробнее