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
Edición de la obra Formal Methods for Dynamical Systems
| Autor | Marco Bernardo |
|---|---|
| Editorial | Springer Berlin Heidelberg, Imprint: Springer |
| Fecha de publicación | 2013 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Páginas | 181 |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642388743 |
| Serie | Lecture Notes in Computer Science -- 7938 |
| Número de Cutter |