
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. Advanced Lectures
Editat de Marco Bernardo et al.
7 iun 2013
Paperback
Preț: 298.82 lei 373.53 lei
43-57 zile
-20%