Digital Library

About《Thinking Programs Logical Modeling and Reasoning About Languages, Data, Computations, and Executions, 2nd ed. (Wolfgang Schreiner)（Z-Library）》

Reading notes and book reviews

View all blogs

No public blogs yet

Digital Library AI Assistant
Hi — I can help you pick a book. Tell me a topic, language, or level, e.g. “a light English read”. If that's too broad, I'll ask one follow-up.
Searching the library and writing a reply…