Nicolas Navet

Название: Modeling and Verification of Real-time Systems

Автор: Nicolas Navet

Серия:

Жанр: Прочая образовательная литература

Поробнее