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...

によって Dirk Beyer
4/5
最初に出版された
Oct 09, 2020
パブリッシャー
Saint Philip Street Press

書籍

類似の本