Formal Modeling and Analysis of Timed Systems. 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings Martin Fränzle, Nicolas Markey

Подробная информация о книге «Formal Modeling and Analysis of Timed Systems. 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings Martin Fränzle, Nicolas Markey». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Formal Modeling and Analysis of Timed Systems. 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings Martin Fränzle, Nicolas Markey»

Зарегистрироваться на сайте Подробнее
Martin Fränzle, Nicolas Markey - «Formal Modeling and Analysis of Timed Systems. 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings»

О книге

Книга "Formal Modeling and Analysis of Timed Systems. 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings".

Полное название книги Martin Fränzle, Nicolas Markey Formal Modeling and Analysis of Timed Systems. 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Авторы Martin Fränzle, Nicolas Markey
Ключевые слова компьютерные технологии, разработка и алгоритмы
Категории Компьютеры и Internet
ISBN 9783319448770
Издательство Springer Nature Customer Service Center LLC
Год 2016
Название транслитом formal-modeling-and-analysis-of-timed-systems-14th-international-conference-formats-2016-quebec-qc-canada-august-24-26-2016-proceedings-martin-fr-nzle-nicolas-markey
Название с ошибочной раскладкой formal modeling and analysis of timed systems. 14th international conference, formats 2016, quebec, qc, canada, august 24-26, 2016, proceedings martin fränzle-nicolas markey