Teaching and Learning Formal Methods

Collectif

Ouvrage indisponible

Éditeur
Morgan Kaufmann Publishers In
Pages
285
Parution
septembre 1996
Format
Cartonné
Langue
Anglais
Dimensions
229 × 152 × 19 cm
EAN
9780123490407
  • Résumé

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
Nous vous suggérons aussi
Retour en haut de page