

Conceptual Modeling
584,-

Logic-Based Program Synthesis and Transformation
611,-

Conceptual Modeling
584,-

Conceptual Modeling
584,-

Logic-Based Program Synthesis and Transformation
791,-

Rigorous State-Based Methods
584,-

Quantitative Evaluation of Systems
791,-

Frontiers of Combining Systems
791,-

Frontiers of Combining Systems
431,-

Integrated Formal Methods
791,-

Conceptual Modeling
584,-

Logic-Based Program Synthesis and Transformation
611,-

Conceptual Modeling
584,-

Conceptual Modeling
584,-

Logic-Based Program Synthesis and Transformation
791,-

Rigorous State-Based Methods
584,-

Quantitative Evaluation of Systems
791,-

Frontiers of Combining Systems
791,-

Frontiers of Combining Systems
431,-

Integrated Formal Methods
791,-















