Most Popular Books
- The Spine of Software: Designing Provably Correct Software : Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program
- Error Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)
- Software Reflected: The Socially Responsible Programming of Our Computers
