Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ...

Name: Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ...
ISBN: 9783642388736

Marco Bernardo (편집자) , Erik de Vink (편집자) , Alessandra Di Pierro (편집자)

아직 평점이 없습니다