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.
• Онлайн доступ: Link to Metadata