
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Sinopsis
Acerca de este libro
- Idioma:English
- ISBN:9783030805074
- Fecha de lanzamiento:23 oct 2021
- Editorial:Springer International Publishing
- Edición:Springer
- Formato de archivo:EPUB3
- Tamaño de archivo:79.45 MB
- Opciones de descarga:EPUB3 (Adobe DRM)










































































