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