Refinement
Semantics, Languages and Applications
Edición de la obra Refinement
| Autor | John Derrick, Eerke A. Boiten |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2018 |
| Idioma | inglés |
| ISBN-13 | 9783319927091 |
| Número de Cutter | D438r |
Semantics, Languages and Applications
Edición de la obra Refinement
| Autor | John Derrick, Eerke A. Boiten |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2018 |
| Idioma | inglés |
| ISBN-13 | 9783319927091 |
| Número de Cutter | D438r |