Software Development With Z: A Practical Approach to Formal Methods in Software Engineering - Couverture souple

Wordsworth, J.

 
9780201627572: Software Development With Z: A Practical Approach to Formal Methods in Software Engineering
Couverture souple
ISBN 10 : 0201627574 ISBN 13 : 9780201627572
Editeur : Addison Wesley, 1992

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.

 

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

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.

 

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

Éditeur
Addison Wesley
Date d'édition
1992
Langue
anglais
ISBN 10 
0201627574
ISBN 13 
9780201627572
Reliure
Broché
Nombre de pages
336
Coordonnées du fabricant
non disponible
Personne responsable
GS1 Slovakia
https://www.gs1sk.org

Nantersk� 23
Žilina
010 08
Slovaquie