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