Teaching Formal Methods
CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
Edición de la obra Teaching Formal Methods
| Autor | C. Neville Dean, Raymond T. Boute |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Mar 12, 2014 |
| Páginas | 260 |
| Formato | paperback |
| ISBN-13 | 9783662194706 |
| ISBN-10 | 3662194708 |
| Número de Cutter | D281t |