|
libcats.org
Advances in verification of time petri nets and timed automata: a temporal logic approachWojciech Penczek, Agata PólrolaThis monograph presents a comprehensive introduction to timed automata (TA) and The book addresses research scientists as well as graduate and PhD students Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#2
Практикум по химии и технологии полупроводниковУгай Я.А. (ред.), Анохин В.З., Гончаров Е.Г.
2.97 Mb
#5
Нитрование углеводородов, и др.угих органических соединенийТопчиев А.В.Категория: Chemistry, Organic Chemistry
8.50 Mb
#6
Физическая химия силикатов, и др.угих тугоплавких соединенийГоршков В.С., и др.Категория: Chemistry, Solid-state Chemistry
3.69 Mb
#8
Математические кружки в 8—10 классахПетраков И.С.Категория: ARCHITECTURE EBOOKS & MAGAZINES, математика
7.45 Mb
|
|