Algebraic Methodology and Software Technology More Books Like This

Perspectives of Systems Informatics Perspectives of Systems Informatics
Perspectives of Systems Informatics
2010
FM 2011: Formal Methods FM 2011: Formal Methods
FM 2011: Formal Methods
2011
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2017
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2009
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2020
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2015
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
2009
Fundamentals of Software Engineering Fundamentals of Software Engineering
Fundamentals of Software Engineering
2010
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2021
Concurrency, Compositionality, and Correctness Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness
2010
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2015
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2009
Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
Theoretical Aspects of Computing – ICTAC 2016
2016
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2016
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2017