A Programming Approach to Formal Methods - Couverture souple

Casey, Chris

 
9780077079680: A Programming Approach to Formal Methods
Couverture souple
ISBN 10 : 007707968X ISBN 13 : 9780077079680
Editeur : McGraw-Hill Publishing Co., 1994

Synopsis

This comprehensive text is an investigation into formal methods for program specification and verification. It shows how formal notations can assist the process of developing software and in communicating and expressing ideas. These ideas are illustrated using VDM and Pascal. This work demonstrates in clear language how the principles of formal methods can be applied to any software development.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
McGraw-Hill Publishing Co.
Date d'édition
1994
Langue
anglais
ISBN 10 
007707968X
ISBN 13 
9780077079680
Reliure
Broché
Nombre de pages
224
Coordonnées du fabricant
non disponible
Personne responsable
non disponible