Applied Mathematical Programming Mathematics Software engineering
Software Foundations Vol 6: Separation Logic Foundations Software engineering
Software Foundations Vol 5: Verifiable C Software engineering C
Software Foundations Vol 3: Verified Functional Algorithms Software engineering
Software Foundations Vol 2: Programming Language Foundations Software engineering
Software Foundations Vol 1: Logical Foundations Software engineering
Software Foundations Vol 4: QuickChick: Property-Based Testing in Coq Property based testing Coq Software engineering
Software Engineering at Google Software engineering
Structure and Interpretation of Computer Programs Software engineering
Program Design by Calculation Software engineering
Philosophy of Computer Science Software engineering
Foundations of Computer Science Software engineering
Evidence-based Software Engineering Software engineering
Elements of Programming Software engineering
Data-Oriented Design Software engineering
A Compendium of Software Design Software engineering