Вы не авторизовались
Зарегистрироваться
на нашем портале
Главная
Новинки
Библиотека
Комментарии
Обратная связь
Главная
Rakefet Kol
Rakefet Kol
Книги:
Без серии
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
(зарубежная компьютерная литература)