Title: Rigorous methods for software construction and analysis
Subjects: Formal methods (Computer science), Electronic data processing, Information theory, Algorithms, Computer science, Computer software, System design