Nice notes and links.
There is Coulouris’ “Distributed Systems: Concepts and Design” which provides practical examples using e.g. Java. I remember then using Clojure (which runs on the JVM and can interop Java) and asked/listed about resources on there https://clojureverse.org/t/rersources-on-building-distributed-systems-using-clojure/9045
Also Lamport’s paper on clocks listed on there is nice classical read, there are videos about it on YouTube. Worth taking a look at Erlang/Elixir and the BEAM VM.
Software Engineering is the systematic and engineered development of software in all its life cycle.