Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Edición de la obra Theories of Programming and Formal Methods
| Autor | Jonathan P. Bowen, Qin Li, Qiwen Xu |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| ISBN-13 | 9783031404351 |
| Número de Cutter | B786t |