Name: Refinement in Z and Object-Z
Price: 96.00 EUR
Availability: InStock
Author: John Derrick
ISBN: 9781447161677

Refinement in Z and Object-Z von John Derrick

Sie sparen 10% des UVP sparen 10%

Über Refinement in Z and Object-Z

This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.

Sprache:
Englisch

ISBN:
9781447161677

Verlag:
Springer London Ltd

Einband:
Taschenbuch

Seitenzahl:
492

Veröffentlicht:
23. August 2015

Ausgabe:
22014

Abmessungen:
155x235x0 mm.

Gewicht:
7664 g.

96,00 € inkl. MwSt.
~~106,99 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Über John Derrick

Alle Bücher von John Derrick anzeigen

Beschreibung von Refinement in Z and Object-Z

This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.

Kund*innenbewertungen von Refinement in Z and Object-Z

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Refinement in Z and Object-Z ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Refinement in Z and Object-Z

Über John Derrick

Beschreibung von Refinement in Z and Object-Z

Kund*innenbewertungen von Refinement in Z and Object-Z

Willkommen bei den Tales Buchfreunden und -freundinnen