Refinement in Z and Object-Z - Foundations and Advanced Applications
- Författare
- John. Derrick
- (John Derrick, Eerke A. Boiten.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer London, Imprint: Springer | 2014 | Storbritannien, London | XVIII, 492 sidor. 49 illus. online resource. | 978-1-4471-5355-9 |