
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions, 2nd Edition
Springer | 2025 | English | 9783031997044 | 660 pages | PDF, EPUB | 13 MB

Springer | 2025 | English | 9783031997044 | 660 pages | PDF, EPUB | 13 MB

Amer Mathematical Society | 2017 | English | 9781470434939 | 323 pages | PDF | 7 MB

Packt | 2025 | English | 9781805126744 | 394 pages | PDF, EPUB | 41 MB

Cambridge University | 2009 | English | 9780521719780 | 274 pages | PDF, EPUB, MOBI | 5 MB

WSPC | 2025 | English | 9789811257285 | 250 pages | PDF | 91 MB

De Gruyter | 2025 | English | 9783112214633 | 837 pages | PDF | 8 MB

Apress | 2025 | English | 9798868816963 | 185 pages | PDF, EPUB | 9 MB

De Gruyter | 2025 | English | 9783111578675 | 364 pages | PDF, EPUB | 25 MB

Apress | 2025 | English | 9798868815294 | 258 pages | PDF, EPUB | 28 MB

Chapman and Hall/CRC | 2025 | English | 9781041007135 | 190 pages | PDF, EPUB | 29 MB