Michael Yoeli

Произведения автора 1

Только полные версии книг

РОМАНЫ и ПОВЕСТИ

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

электронная книга

Год написания книги 2019

A Step-by-Step Guide to Verification of Digital Systems This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theor…