Bøger af Eerke A. Boiten
Filter
Sorter efterSorter
Populære
-
- Foundations and Advanced Applications
1.110,95 - 1.533,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.