Teaching Formal Methods
Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings
Edición de la obra Teaching Formal Methods
| Autor | Jeremy Gibbons, Jose Nuno Oliveira |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9783642049125 |
| Número de Cutter | G441t |