"Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)" - читать интересную книгу автора (Michael Yoeli, Rakefet Kol)

читать онлайн и скачать книгу у нашего партнера
(14 удобных форматов книги)