Formal Methods for Dynamical Systems (Lecture Notes in Computer Science, Band 7938)

Dynamical

von: Marco Bernardo · Erik de Vink · Alessandra Di Pierro · Herbert Wiklicky

Taschenbuch

ISBN-13: 978-3-642-38873-6

ISBN-10: 3-642-38873-6

Springer · 2013