Tallenna
Refinement in Z and Object-Z
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.
- Alaotsikko
- Foundations and Advanced Applications
- Kirjailija
- John Derrick, Eerke A. Boiten
- Painos
- Softcover reprint of the original 2nd ed. 2014
- ISBN
- 9781447161677
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 23.8.2015
- Kustantaja
- Springer London Ltd
- Sivumäärä
- 492
