Michael Yoeli

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

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

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