|
Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Prof. Dr. rer. nat. Bernhard Rumpe, Sebastian Stüber, Marc Wiartalla
Towards an Isabelle Theory for distributed, interactive systems
The untimed case
Band 45
ISBN: 978-3-8440-7265-5
Preis: 35,80 € / 44,80 SFR
|