Refinement in Z and Object-Z
Foundations and Advanced Applications
Edición de la obra Refinement in Z and Object-Z
| Autor | John Derrick, Eerke A. Boiten |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Nov 27, 2012 |
| Páginas | 492 |
| Formato | paperback |
| ISBN-13 | 9781447102588 |
| ISBN-10 | 1447102584 |
| Número de Cutter | D438r |