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 London, Limited |
| Fecha de publicación | 2013 |
| Idioma | inglés |
| Páginas | 492 |
| ISBN-13 | 9781447153559 |
| Número de Cutter | D438r |