Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / edited by Jan Friso Groote, Kim Guldstrand Larsen
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Theoretical Computer Science and General Issues ; 12652Verlag: Cham : Springer International Publishing, 2021Verlag: Cham : Imprint: Springer, 2021Auflage: 1st ed. 2021Beschreibung: 1 Online-Ressource(XXI, 465 p. 91 illus.)ISBN:- 9783030720131
- 004.0151 23
Dieser Titel hat keine Exemplare
Open Access