Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II /

• Соавтор: SpringerLink (Online service)
• Другие авторы: Groote, Jan Friso (Редактор), Larsen, Kim Guldstrand (Редактор)
• Формат: Электронный ресурс eКнига
• Язык: английский
• Опубликовано: Cham : Springer International Publishing : Imprint: Springer, 2021.
• Редактирование: 1st ed. 2021.
• Серии: Theoretical Computer Science and General Issues, 12652
• Предметы: Computer science.; Computer engineering.; Computer networks .; Microprogramming .; Software engineering.; Theory of Computation.; Computer Engineering and Networks.; Control Structures and Microprogramming.; Software Engineering.
• Online-ссылка: Link to Metadata