Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)

Wordsworth, J.

ISBN 10: 0201627574 / ISBN 13: 9780201627572

Edité par Addison Wesley, 1992

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 wbs3619517852

Synopsis :

This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.

 

Présentation de l'éditeur: This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.

 

Détails bibliographiques

Titre : Software Development with Z: A Practical ...
Éditeur : Addison Wesley
Date d'édition : 1992
Reliure : Couverture souple
Etat : Very Good