Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

Software Metrics: A Rigorous and Practical Approach, Third Edition (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)

The Software Developer

AI for Software Development

Software Development in Practice