Theories of Programming and Formal Methods
de Jonathan P. Bowen, Qin Li, Qiwen Xu
Materias
Ediciones (1)
- Theories of Programming and Formal Methods (2023)
Springer · inglés · ISBN 9783031404351
de Jonathan P. Bowen, Qin Li, Qiwen Xu
Springer · inglés · ISBN 9783031404351
