banner banner banner
Серия: Без серии
обложка книги The Inverse Method
02-08-2019
Текст
техническая литература
The Inverse Method
(0 из 5) [ оценок]
This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalis...
Новинки!
Все новинки
Популярные книги
Популярная книга в разделе
Детская фантастика
Кир Булычев
скачать книгу Девочка с Земли (сборник) автора Кир Булычев
Девочка с Земли (сборник)
Рейтинги библиотеки
Жанры

все жанры

В этот день...
18 июня 1997 года умер Булат Окуджава (р. 1924), поэт, бард, прозаик, сценарист.
Новый отзыв
скачать книгу 'Дитя Эльфа и Погремушки'
Дитя Эльфа и Погремушки
Ирина Иванова:
Читала я эту книгу, не читая аннотации перед прочтением. И это не эксперимент, так я поступаю с пров...
все отзывы на книги
У нас ищут
Новая подборка книг
В тренде
Детские приключения
Дмитрий Красотин
Летние каникулы
Детство. Время открытий. Время удивляться всему в мире. Радоваться, грустить, искать себя...