Новинки|Аудиокниги|PDF книги|Электронные книги|Статьи|Бесплатные книги|Черновики|Скоро в продаже|Язык книг|Авторы|Жанр

☰

RU
- Русский
- Английский

Читать онлайн книгу An Introduction to Practical Formal Methods Using Temporal Logic автора Michael Fisher

An Introduction to Practical Formal Methods Using Temporal Logic

An Introduction to Practical Formal Methods Using Temporal Logic

Описание книги

Скачать книгу

Информация для правообладателей. На сайте не размещаются пиратские копии произведений! Все материалы, опубликованные на сайте, предоставлены нам ООО «ЛитРес» по партнёрской программе. С информацией об условиях партнерской программы вы можете ознакомиться по ссылке https://www.litres.ru/partners.