Refinement in Z and Object-Z
Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT))
Edición de la obra Refinement in Z and Object-Z
| Autor | John Derrick, Eerke A. Boiten |
|---|---|
| Editorial | Springer |
| Fecha de publicación | June 8, 2001 |
| Idioma | inglés |
| Páginas | 466 |
| Formato | Paperback |
| ISBN-13 | 9781852332457 |
| ISBN-10 | 185233245X |
| LCCN | 2001020204 |
| Número de Cutter |