The Spine of Software: Designing Proveably Correct Software - Theory and Practice - Couverture rigide

Baber, Robert L.

 
9780471914747: The Spine of Software: Designing Proveably Correct Software - Theory and Practice
Couverture rigide
ISBN 10 : 0471914746 ISBN 13 : 9780471914747
Editeur : John Wiley & Sons Ltd, 1987

Synopsis

Robert Baber's original approach to the semantics of computer programs will familiarize software designers and developers with applicable results of research in the theory of proving programs correct. Throughout the book, the mathematical treatment is rigorous. A body of fundamental principles underlying computing science has been developed in recent years: these provide guidelines for the design process, and enable the software engineer to verify systematically and precisely important characteristics of proposed designs. The software engineer is thus in a position to develop error-free programs just as engineers in other fields are able to verify their designs.

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

Éditeur
John Wiley & Sons Ltd
Date d'édition
1987
Langue
anglais
ISBN 10 
0471914746
ISBN 13 
9780471914747
Reliure
Relié
Nombre de pages
360
Coordonnées du fabricant
non disponible
Personne responsable
non disponible