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 London, Limited |
| Fecha de publicación | 2004 |
| Idioma | inglés |
| ISBN-13 | 9783540304722 |
| Número de Cutter | D281t |