Книги автора «Dejan Nickovic»

На данной странице предаставлены все книги автора «Dejan Nickovic»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Dejan Nickovic»

Книги

Formal Modeling and Analysis of Timed Systems. 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings

Formal Modeling and Analysis of Timed Systems. 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings (Marcin Jurdzinski,Dejan Nickovic)