Refinement
Semantics, Languages and Applications
Edición de la obra Refinement
| Autor | John Derrick, Eerke Boiten |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jan 25, 2019 |
| Páginas | 269 |
| Formato | paperback |
| ISBN-13 | 9783030064976 |
| ISBN-10 | 3030064972 |
| Número de Cutter | D438r |