FM 2009 : Formal Methods
Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings
Edición de la obra FM 2009 : Formal Methods
| Autor | Ana Cavalcanti, Dennis Dams |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9783642050893 |
| Número de Cutter | C376f |