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

De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger

Levering: 1 - 2 hverdage

Populære

Refinement in Z and Object-Z

- Foundations and Advanced Applications

af John Derrick & Eerke A. Boiten

1.101,95 - 1.481,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.101,95 kr.
Se mere