Reihe Aachener Informatik Berichte Software EngineeringHendrik Kausch × Towards an Isabelle Theory for Distributed, Interactive Systems Volume 2Specifying Real-Time BehaviorHendrik KauschShakereBook202523,10 € Towards an Isabelle Theory for Distributed, Interactive Systems Volume 2Specifying Real-Time BehaviorHendrik KauschShakerSoftcover202530,80 €
