Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings / edited by Nathalie Bertrand, Nils Jansen
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Theoretical Computer Science and General Issues ; 12288 | Springer eBook CollectionVerlag: Cham : Springer International Publishing, 2020Verlag: Cham : Imprint: Springer, 2020Auflage: 1st ed. 2020Beschreibung: 1 Online-Ressource(X, 301 p. 657 illus., 55 illus. in color.)ISBN:- 9783030576288
Dieser Titel hat keine Exemplare