

Conceptual Modeling
584,-

Logic-Based Program Synthesis and Transformation
584,-

Conceptual Modeling
584,-

Integrated Formal Methods
584,-

Conceptual Modeling
584,-

Fundamental Approaches to Software Engineering
584,-

Unifying Theories of Programming and Formal Engineering Methods
584,-

Logic-Based Program Synthesis and Transformation
584,-

Logic-Based Program Synthesis and Transformation
791,-

Rigorous State-Based Methods
584,-

Conceptual Modeling
584,-

Logic-Based Program Synthesis and Transformation
584,-

Conceptual Modeling
584,-

Integrated Formal Methods
584,-

Conceptual Modeling
584,-

Fundamental Approaches to Software Engineering
584,-

Unifying Theories of Programming and Formal Engineering Methods
584,-

Logic-Based Program Synthesis and Transformation
584,-

Logic-Based Program Synthesis and Transformation
791,-

Rigorous State-Based Methods
584,-















