Object Orientation in Z - Softcover

 
9781447135531: Object Orientation in Z
Softcover
ISBN 10: 1447135539 ISBN 13: 9781447135531
Verlag: Springer, 2014

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2014
Sprache
Englisch
ISBN 10 
1447135539
ISBN 13 
9781447135531
Einband
Paperback
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9783540197782: Object Orientation in Z (Workshops in Computing)

Vorgestellte Ausgabe

ISBN 10:  3540197788 ISBN 13:  9783540197782
Verlag: Springer, 1992
Softcover