Michael Yoeli

Жанры и тэги:

зарубежная компьютерная литература программирование

Посмотреть все

24.07.2025 05:22

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…

Подробнее