Reihe Aachener Informatik Berichte Software EngineeringSebastian Stüber × Towards an Isabelle Theory for distributed, interactive systemsThe untimed caseSebastian StüberShakerSoftcover202035,80 €
