Michael Yoeli

Название: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

Автор: Michael Yoeli

Серия:

Жанр: Программирование

Поробнее