Articles liés à The Spine of Software: Designing Proveably Correct...
The Spine of Software: Designing Proveably Correct Software - Theory and Practice - Couverture rigide
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.
Résultats de recherche pour The Spine of Software: Designing Proveably Correct...
Image d'archives
The Spine of Software : Designing Provably Correct Software-Theory and Practice
Edité par
Wiley & Sons, Incorporated, John, 1988
ISBN 10 : 0471914746
ISBN 13 : 9780471914747
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books: West, Reno, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur 56062695-20
Acheter D'occasion
EUR 10,56
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)