The Essence of Z (Prentice-Hall Essence of Computing) - Couverture souple

Currie, Ed

 
9780137498390: The Essence of Z (Prentice-Hall Essence of Computing)

Synopsis

The Essence of Z is an exciting new publication that is ideal for a first course in formal specification using Z. In simple, straightforward terms, and assuming little previous mathematical knowledge, the book provides a clear understanding of how to use Z to construct specifications for software and other systems. Each new concept is reinforced by many exercises and examples, and several larger case studies are included to develop the skills necessary for specification development and to provide a clear context for the subject.

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

Présentation de l'éditeur

The Essence of Z is an exciting new publication that is ideal for a first course in formal specification using Z. In simple, straightforward terms, and assuming little previous mathematical knowledge, the book provides a clear understanding of how to use Z to construct specifications for software and other systems. Each new concept is reinforced by many exercises and examples, and several larger case studies are included to develop the skills necessary for specification development and to provide a clear context for the subject.

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

Autres éditions populaires du même titre

9780139749391: Essence of Z (Prentice-Hall Essence of Computing S)

Edition présentée

ISBN 10 :  013974939X ISBN 13 :  9780139749391
Editeur : Prentice-Hall, 1999
Couverture souple