bannerbanner
logo
Поиск:
Войти
Популярные жанры:
добавлено
Скачать книгу An Introduction to Practical Formal Methods Using Temporal LogicТекст
Добавить В библиотеку

4

Поделиться

An Introduction to Practical Formal Methods Using Temporal Logic

Michael Fisher
Жанр: Техническая литература Технические науки Электроника
Язык: Английский
Тип: Текст
Год издания: 2019
ISBN: 9781119991489
Бесплатный фрагмент: pdf

Полная версия

Другие книги автора:

An Introduction to Practical Formal Methods Using Temporal Logic
An Introduction to Practical Formal Methods Using Temporal Logic
Популярные книги
bannerbanner
Авторизация
ЗарегистрироватьсяВосстановить пароль