Teaching and Learning Formal Methods (Academic Press International Series in Formal Methods)

by Michael G . Hinchey (Series Editor), C . Neville Dean (Editor)

• Used

  Illustrated
  1996

  $21.46

  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.