Michael Fisher

Название: An Introduction to Practical Formal Methods Using Temporal Logic

Автор: Michael Fisher

Серия:

Жанр: Техническая литература

Поробнее