Thinking Programs
Logical Modeling and Reasoning about Languages, Data, Computations, and Executions
Edición de la obra Thinking Programs
| Autor | Wolfgang Schreiner |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2021 |
| Idioma | inglés |
| ISBN-13 | 9783030805067 |
| Número de Cutter | S378t |