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 |
| Fecha de publicación | 2001 |
| Lugar | London |
| Idioma | alemán |
| Formato | [Elektronische Ressource] |
| ISBN-13 | 9781447102571 |
| ISBN-10 | 1447102576 |
| OCLC | 725336217 |
| Número de Cutter | D438r |