Книги автора «Erik de Vink»

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

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

Книги

Formal Methods for Dynamical Systems. 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013

Formal Methods for Dynamical Systems. 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 (Marco Bernardo,Erik de Vink,Alessandra Di Pierro)