
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Tiivistelmä
Tietoa tästä kirjasta
- Kieli:English
- ISBN:9783030805074
- Julkaisupäivä:23.10.2021
- Julkaisija:Springer International Publishing
- Julkaisutiedot:Springer
- Tiedostomuoto:EPUB3
- Tiedostokoko:79.45 MB
- Latausvaihtoehdot:EPUB3 (Adobe DRM)













































































