Categories for Software Engineering More Books Like This

Semantics and Algebraic Specification Semantics and Algebraic Specification
Semantics and Algebraic Specification
2009
Mathematics of Program Construction Mathematics of Program Construction
Mathematics of Program Construction
2015
Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
2021
Computable Models Computable Models
Computable Models
2009
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
2011
Mathematics of Program Construction Mathematics of Program Construction
Mathematics of Program Construction
2022
Formal Concept Analysis Formal Concept Analysis
Formal Concept Analysis
2010
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
2014
Types for Proofs and Programs Types for Proofs and Programs
Types for Proofs and Programs
2007
Logics of Specification Languages Logics of Specification Languages
Logics of Specification Languages
2007
Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
2015
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
2020
Relational and Algebraic Methods in Computer Science Relational and Algebraic Methods in Computer Science
Relational and Algebraic Methods in Computer Science
2011
Intangible Life Intangible Life
Intangible Life
2017
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2011