Hauptseite

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

Taschenbuch Details (Deutschland) ISBN-13: 978-3-642-38875-0 ISBN-10: 3-642-38875-2 (978-3-642)