Teaching and Learning Formal Methods
Edición de la obra Teaching and Learning Formal Methods
| Autor | C. Neville Dean, Michael G. Hinchey |
|---|---|
| Editorial | Elsevier Science & Technology Books |
| Fecha de publicación | 1996 |
| Idioma | inglés |
| ISBN-13 | 9780080518503 |
| Número de Cutter | D281t |