Teaching and learning formal methods / ed. C. Neville Dean, Michael G. Hinchey

Teaching and learning formal methods / ed. C. Neville Dean, Michael G. Hinchey . - London : Academic Press, cop. 1996 . - XVI, 285 p. 23 cm . - (Academic Press international series in formal methods)
0-12-349040-5 (Brochado)

371.3