|
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, Englisch, Paperback,
262 Seiten,
24 x 17 cm, 390 g,
35,80 € / 44,80 SFR
März 2020
|