Michael YoeliСписок книг автора Michael Yoeli

Название: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Автор:: Michael Yoeli
Серия:
Жанр:: Программирование