标签：broad

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. The principal novelty of the series is that every detail is one hundred percent...

标签：broadfoundationsmathematicalProgrammingproofseriessoftware书友作者简介