Tool Support for System Specification, Development and VerificationRudolf Berghammer, Yassine LakhnechHäftad, 1999562 kr
Relations and Kleene Algebra in Computer ScienceRudolf Berghammer, Rudolf Berghammer, Bernhard Möller, Georg StruthHäftad, 2008562 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, 2009546 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, 1999562 kr
Relations and Kleene Algebra in Computer ScienceBernhard Moller, Ali Jaoua, Rudolf Berghammer E-bok2009687 kr