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