Relational and Kleene algebraic methods in computer scienceRudolf BerghammerUitverkocht4,3Hou mij op de hoogte
Tool Support for System Specification, Development and VerificationRudolf BerghammerUitverkocht4,3Hou mij op de hoogte
Ordnungen, Verbände und Relationen mit AnwendungenRudolf BerghammerUitverkocht4,3Hou mij op de hoogte
