THELIB
Каталог
Поиск
Правила категорий
Правила
Войти
Русский
Русский
Книги
Тег: ACSL
Книги — ACSL
Все
EN
EN
Руководство по верификации программного обеспечения с Frama-C: основные компоненты, применение и примеры использования
A
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)
Языки программирования
