Title: Foundations of Algebraic Specification and Formal Software Development
Subjects: Software Engineering/Programming and Operating Systems, Symbolic and mathematical Logic, Software engineering, Algebra, Logic design, Logics and Meanings of Programs, Computer science, Homological Algebra Category Theory, Mathematical Logic and Foundations, Computer software, development