Formal Methods for Dynamical Systems

Elemento

Título
Formal Methods for Dynamical Systems
Autores
Bernardo
Año Publicación
2013
Editorial
Springer Berlin Heidelberg
ISBN
978-3-642-38873-6
eBook
978-3-642-38874-3
Colecciones
Springer