VDM Specification of an Algorithm for Graph Decomposition. 비슷한 책 더 보기

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년