Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

24th International Conference, TACAS 2018, Held as Part of the European Joint ... Thessaloniki, Greece, April 14-20, 2018...

przez Dirk Beyer
4/5
Pierwsza opublikowana
Oct 09, 2020
Wydawcy
Saint Philip Street Press

Książki

Podobne książki