Bøger af Eerke A. Boiten - bogreolen.dk

Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser

Udvidet returret til d. 31. januar 2025

Populære

Refinement in Z and Object-Z

- Foundations and Advanced Applications

af John Derrick & Eerke A. Boiten

1.110,95 - 1.519,95 kr.

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.
- Bog
- 1.110,95 kr.
Se mere