For the "Advanced CS Streetfighter" you need;

Understanding Formal Methods by Jean-Francois Monin - This is the best for getting a good grip on the breadth, concepts and sample tools for Formal Mathematics/Specification/Verification. Gives a map of the whole domain. Will force you to learn and understand a large set of mathematics, logic, its mapping to CS-theory/PLT and finally shows how they all come together in specific languages/tools. The chapters alternate between the needed abstract mathematics/logic and concrete languages/tools applying them.

Because everything is so succinct and precise (a graduate course in ~250 pages!), you will need to consult other detailed textbooks/AI tutor to understand difficult concepts. Specifically, you would need to consult detailed texts on the languages/tools you are interested in.

This is particularly important today for use with AI. Without knowing the mathematics/logic involved one cannot direct an agent correctly nor verify its output properly.