Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science) - Couverture souple

Woodcock, Jim

 
9780139484728: Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
Couverture souple
ISBN 10 : 0139484728 ISBN 13 : 9780139484728
Editeur : Prentice Hall, 1996

Synopsis

This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html

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 contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published.

Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html

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

Éditeur
Prentice Hall
Date d'édition
1996
Langue
anglais
ISBN 10 
0139484728
ISBN 13 
9780139484728
Reliure
Broché
Nombre de pages
408
Coordonnées du fabricant
non disponible
Personne responsable
non disponible