Teaching Formal Methods, CoLogNET-FME Symposium, TFM 2004

Teaching Formal Methods, CoLogNET-FME Symposium, TFM 2004

Teaching Formal Methods, CoLogNET-FME Symposium, TFM 2004

by: C. Neville Dean, Raymond T. Boute,

Publisher: Springer (2004)

Print length: 257
ISBN: 3540236112,9783540236115,9783540304722,

Language: English