VDM Specification of an Algorithm for Graph Decomposition. More Books Like This

Applications of Graph Transformations with Industrial Relevance Applications of Graph Transformations with Industrial Relevance
Applications of Graph Transformations with Industrial Relevance
2008
Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
2009
Graph Transformation Graph Transformation
Graph Transformation
2016
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2021
Structured Object-Oriented Formal Language and Method Structured Object-Oriented Formal Language and Method
Structured Object-Oriented Formal Language and Method
2015
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2019
Structured Object-Oriented Formal Language and Method Structured Object-Oriented Formal Language and Method
Structured Object-Oriented Formal Language and Method
2018
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2011
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2016
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2010
Perspectives of Systems Informatics Perspectives of Systems Informatics
Perspectives of Systems Informatics
2010
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2007
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2019
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2008
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2015