Teaching formal methods : CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings
C. Neville Dean, Raymond T. Boute (eds.)
Bok Engelsk 2004 TFM 2004
| Utgitt | Berlin : Springer , c2004
|
|---|---|
| Omfang | X, 248 s. : ill.
|
| Emner | |
| ISBN | 3540236112
|
