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.
Bio de l'auteur
Sommaire / contenu