
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Synopsis
Om den här boken
- Språk:English
- ISBN:9783030805074
- Utgivningsdatum:23 okt. 2021
- Utgivare:Springer International Publishing
- Impressum:Springer
- Filformat:EPUB3
- Filstorlek:79.45 MB
- Nedladdningsalternativ:EPUB3 (Adobe DRM)










































































