
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Özet
Bu kitap hakkında
- Dil:English
- ISBN:9783030805074
- Yayın tarihi:23 Eki 2021
- Yayınevi:Springer International Publishing
- Baskı:Springer
- Dosya Biçimi:EPUB3
- Dosya boyutu:79.45 MB
- İndirme seçenekleri:EPUB3 (Adobe DRM)











































































