Formal Methods for Dynamical Systems
13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Italy, June 17-22, 2013. Advanced Lectures
Edición de la obra Formal Methods for Dynamical Systems
| Autor | Marco Bernardo, Erik de Vink, Alessandra Di Pierro |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jun 09, 2013 |
| Páginas | 192 |
| Formato | paperback |
| ISBN-13 | 9783642388750 |
| ISBN-10 | 3642388752 |
| Número de Cutter | B523f |