Synopsis
Based on material used by the authors in their teaching, this volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques, thus allowing professionals to write programs that are easier to reason about informally. The basic technology presented should be of use in all programming environments.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Software Specification: A Comparison of Formal Methods
Image fournie par le vendeur
Software Specification: A Comparison of Formal Methods (Computer Based Information Systems in Organizations)
Edité par
Intellect, 1995
ISBN 10 : 156750034X
ISBN 13 : 9781567500349
Ancien ou d'occasion
Couverture souple
Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. N° de réf. du vendeur wbs8866305090
Acheter D'occasion
EUR 22,13
Frais de port :
EUR 6,60
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)