Tools and Algorithms for the Construction and Analysis of Systems 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 6-11, 2019, Proceedings, Part I /

This book is Open Access under a CC BY licence. .

Сохранить в:
Библиографические подробности
Соавтор: SpringerLink (Online service)
Другие авторы: Vojnar, Tomáš (Редактор), Zhang, Lijun (Редактор)
Формат: Электронный ресурс eКнига
Язык:английский
Опубликовано: Cham : Springer International Publishing : Imprint: Springer, 2019.
Редактирование:1st ed. 2019.
Серии:Theoretical Computer Science and General Issues, 11427
Предметы:
Online-ссылка:Link to Metadata
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!