Refinement in Z and Object-Z: Foundations and Advanced Applications

by John Derrick (Author), Eerke A. Boiten (Author)

• Used

  Hardcover
  2013

  $91.38

  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.

• New

  Hardcover
  2013

  $147.49

  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.