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

Refinement in Z and Object-Z af John Derrick

Du sparer 0% ift. normalprisen Spar 0%

Bag om 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.

Vis mere

Sprog:
Engelsk

ISBN:
9781447161677

Forlag:
Springer London Ltd

Indbinding:
Paperback

Sideantal:
492

Udgivet:
23. august 2015

Udgave:
22014

Størrelse:
155x235x0 mm.

Vægt:
7664 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 28. november 2024

På lager

Normalpris

BLACK NOVEMBER
1.518,95 kr. + Fragt
~~1.518,95 kr.~~

Medlemspris

1.468,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om John Derrick

Vis alle bøger af John Derrick

Beskrivelse af 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.

Brugerbedømmelser af Refinement in Z and Object-Z

Andre købte også..

Find lignende bøger

Bogen Refinement in Z and Object-Z findes i følgende kategorier:

Business og læring > Computer og IT

Refinement in Z and Object-Z - John Derrick - Bog

Bag om John Derrick

Beskrivelse af Refinement in Z and Object-Z

Brugerbedømmelser af Refinement in Z and Object-Z

Gør som tusindvis af andre bogelskere