24/09/2025: 2nd Edition of “Thinking Programs” by Wolfgang Schreiner

2nd edition of the book “Thinking Programs” by Wolfgang Schreiner appeared in the frame of the Springer Series “Texts & Monographs in Symbolic Computation“.