Front cover image for Teaching and learning formal methods

Teaching and learning formal methods

Neville Dean (Editor), Michael G. Hinchey (Editor)
Formal methods are recognized as successful means of assuring the reliability of complex computer systems. This book covers a range of issues relating to the pedagogy of formal methods. It proposes various techniques that help learn formal methods. It is suitable to educators in the fields of computer science, and software engineering.
Print Book, English, ©1996
Academic Press, London, ©1996