Bernd Mahr

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Autonomous Systems – Self-Organization, Management, and Control: Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Mathematisch-strukturelle Grundlagen der Informatik

Mathematisch-strukturelle Grundlagen der Informatik: Ausgabe 2