Foundations of Algebraic Specification and Formal Software Development
No description available.
Software Engineering/Programming and Operating SystemsSymbolic and mathematical LogicSoftware engineeringAlgebraLogic designLogics and Meanings of ProgramsComputer scienceHomological Algebra Category TheoryMathematical Logic and FoundationsComputer software, development