Title: Specifying systems
Subjects: Computer systems, Specifications, Symbolic and mathematical Logic, System design, Logic, symbolic and mathematical, Logic, Logic & foundations of mathematics, Computer architecture/engineering