An Introduction to Practical Formal Methods Using Temporal Logic - читать онлайн бесплатно, автор Michael Fisher, ЛитПортал
bannerbanner
logo
Зарегистрироваться
По всем вопросам обращайтесь на:
(©) 2003-2025.
An Introduction to Practical Formal Methods Using Temporal Logic
Добавить В библиотеку
Оценить:

Рейтинг: 4

Поделиться
Купить и скачать

An Introduction to Practical Formal Methods Using Temporal Logic

Автор:
Michael Fisher
Жанр:
техническая литература , технические науки , электроника 
Год написания книги: 2019
Тэги:
Настройки чтения
Размер шрифта
Высота строк
Поля

Другие электронные книги автора Michael Fisher

An Introduction to Practical Formal Methods Using Temporal Logic
An Introduction to Practical Formal Methods Using Temporal Logic
4