Teaching Formal Methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings / edited by C. Neville Dean, Raymond T. Boute
- Författare
- Belgium) (2004 TFM 2004 Ghent
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-3-540-30472-2 | ||
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |