Refinement in Z and Object-Z: Foundations and Advanced Applications
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer London Ltd
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9781447161677
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer London Ltd |
| Forfattere | John Derrick, Eerke A. Boiten |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | Softcover reprint of the original 2nd ed. 2014 |
| Udgivelsesdato | 23-08-2015 |
| Første udgivelsesår | 2015 |
| Illustrationer | XVIII, 492 p. |
| Originalsprog | United Kingdom |
| Sideantal | 492 |
| Indbinding | Paperback / softback |
| Forlag | Springer London Ltd |
| Sideoplysninger | 492 pages, XVIII, 492 p. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9781447161677 |