На данной странице предаставлены все книги автора «Alessandra Di Pierro»
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)