We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Authors
  3. Eerke A. Boiten

Books by Eerke A. Boiten

Filter
Filter
✕
Sort bySort Popular
  • Refinement in Z and Object-Z af John Derrick
    Refinement in Z and Object-Z
    - Foundations and Advanced Applications
    by John Derrick & Eerke A. Boiten
    £93.99

    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.

    More details

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.