Re:Book list for streetfighting computer scientists
by rramadass on Sunday November 15, 2026 @08:04AM
(#50506655)
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 (as of its publication date) in ~250 pages! 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.
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.
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 (as of its publication date) in ~250 pages! 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.
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.