Tool Support for System Specification, Development and VerificationRudolf Berghammer, Yassine LakhnechHäftad, 1999559 kr
Relations and Kleene Algebra in Computer ScienceRudolf Berghammer, Rudolf Berghammer, Bernhard Möller, Georg StruthHäftad, 2008559 kr
Relations and Kleene Algebra in Computer ScienceGeorg Struth, Bernhard Moller, Rudolf Berghammer E-bok2008734 kr
Relations and Kleene Algebra in Computer ScienceRudolf Berghammer, Ali Jaoua, Bernhard MöllerHäftad, 2009543 kr
Relations and Kleene Algebra in Computer ScienceBernhard Moller, Ali Jaoua, Rudolf Berghammer E-bok2009687 kr
Relations and Kleene Algebra in Computer ScienceGeorg Struth, Bernhard Moller, Rudolf Berghammer E-bok2008734 kr
Tool Support for System Specification, Development and VerificationRudolf Berghammer, Yassine LakhnechHäftad, 1999559 kr
Relations and Kleene Algebra in Computer ScienceBernhard Moller, Ali Jaoua, Rudolf Berghammer E-bok2009687 kr