Вы здесь
Tools and Algorithms for the Construction and Analysis of Systems, Part II: Proc./25th International Conference, TACAS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2019
Ключевые слова:
Стр.:
413 p.
Место издания:
Издательство:
Том:
11428
Карточка:
Tools and Algorithms for the Construction and Analysis of Systems, Part II: Proc./25th International Conference, TACAS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019Ed. by Vojnar T., Zhang L..-Berlin.: Springer, 2019.-Vol. 11428.-413 p.-(Lecture Notes in Computer Science).