Articles liés à Object Orientation in Z

Object Orientation in Z - Couverture souple

 
9781447135531: Object Orientation in Z
Couverture souple
ISBN 10 : 1447135539 ISBN 13 : 9781447135531
Editeur : Springer, 2014

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

1 Why an Object Oriented Z?.- 2 Example Specifications in Z.- 3 Hall's Style.- 4 Z Expression of Refinable Objects.- 5 MooZ Case Studies.- 6 Object-Z.- 7 OOZE.- 8 Schuman & Pitt Approach.- 9 Z++.- 10 ZEST.- 11 Specification in Fresco.- A Zand HOOD.- B Bibliography.

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

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
1447135539
ISBN 13 
9781447135531
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible