Integrated Formal Methods

Збережено в:
Бібліографічні деталі
Автор: Herber, Paula
Інші автори: Wijs, Anton
Формат: eКнига
Мова:Англійська
Опубліковано: Springer Nature, 2024.
Предмети:
Онлайн доступ:Access eBook
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Опис
Фізичний опис:1 online resource
Формат:Mode of access: World Wide Web.
ISBN:978-3-031-47705-8