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...
Новинки!
Все новинки
Популярные книги
Популярная книга в разделе
Русская классика
Гузель Яхина
скачать книгу Зулейха открывает глаза автора Гузель Шамилевна Яхина
Зулейха открывает глаза
Рейтинги библиотеки
Жанры

все жанры

В этот день...
24 ноября 1888 года родился Дейл Карнеги, американский лектор, автор известных книг.
Новый отзыв
скачать книгу 'Когда-нибудь и я взмахну крылом'
Когда-нибудь и я взмахну крылом
limo7:
книга отличная!...
все отзывы на книги
У нас ищут
Новая подборка книг
В тренде
Детские приключения
Дмитрий Красотин
Летние каникулы
Детство. Время открытий. Время удивляться всему в мире. Радоваться, грустить, искать себя...