libcats.org
Главная →
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)
Michael Yoeli, Rakefet Kol
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги:
|