Книги автора «Marco Bernardo»

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

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

Книги

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, Sfm 2003 (Lect

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, Sfm 2003 (Lect (Marco Bernardo,Paola Inverardi,Paola Paola,Com International School on Formal Methods for the Des)

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)