

















Logic, Language, and Computation
1 489,-

Language, Logic, and Computation
791,-

Structured Object-Oriented Formal Language and Method
584,-

Structured Object-Oriented Formal Language and Method
431,-

Interactive Theorem Proving
584,-

Verification, Model Checking and Abstract Interpretation
674,-

Practical Aspects of Declarative Languages
584,-

Verification, Model Checking and Abstract Interpretation
674,-

Practical Aspects of Declarative Languages
584,-

Logic and Argumentation
971,-

Logic, Language, and Computation
1 489,-

Language, Logic, and Computation
791,-

Structured Object-Oriented Formal Language and Method
584,-

Structured Object-Oriented Formal Language and Method
431,-

Interactive Theorem Proving
584,-

Verification, Model Checking and Abstract Interpretation
674,-

Practical Aspects of Declarative Languages
584,-

Verification, Model Checking and Abstract Interpretation
674,-

Practical Aspects of Declarative Languages
584,-

Logic and Argumentation
971,-