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. .
Сохранить в:
Соавтор: | |
---|---|
Другие авторы: | , |
Формат: | Электронный ресурс eКнига |
Язык: | английский |
Опубликовано: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
Редактирование: | 1st ed. 2019. |
Серии: | Theoretical Computer Science and General Issues,
11427 |
Предметы: | |
Online-ссылка: | Link to Metadata |
Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Search Result 1
OAPEN Library: description of the publication
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 o...
Опубликовано 2019
OAPEN Library: download the publication
OAPEN Library: description of the publication
Электронный ресурс
Глава книги
Search Result 2
DOAB: description of the publication
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 o...
Опубликовано 2019
DOAB: download the publication
DOAB: description of the publication
Электронный ресурс
Глава книги