Integrated formal methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020 : proceedings / Brijesh Dongol, Elena Troubitsyna (eds.)
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Springer eBook Collection | Lecture notes in computer science ; 12546Verlag: Cham : Springer, 2020Beschreibung: 1 Online-Ressource (xi, 459 Seiten) : IllustrationenISBN:- 9783030634612
- 006.3 23
- 005.1 23
Dieser Titel hat keine Exemplare