

Recent Trends in Algebraic Development Techniques
584,-

Recent Trends in Algebraic Development Techniques
1 340,-

Theory and Applications of Models of Computation
584,-

Theory and Applications of Models of Computation
584,-

Theory and Applications of Models of Computation
1 124,-

Theory and Applications of Models of Computation
584,-

Formal Methods
674,-

Topics in Theoretical Computer Science
584,-

Logical Foundations of Computer Science
584,-

Computer Science - Theory and Applications
791,-

Recent Trends in Algebraic Development Techniques
584,-

Recent Trends in Algebraic Development Techniques
1 340,-

Theory and Applications of Models of Computation
584,-

Theory and Applications of Models of Computation
584,-

Theory and Applications of Models of Computation
1 124,-

Theory and Applications of Models of Computation
584,-

Formal Methods
674,-

Topics in Theoretical Computer Science
584,-

Logical Foundations of Computer Science
584,-

Computer Science - Theory and Applications
791,-














