Цена: 850 ₽
Издательство: Радио и связь
Год издания: 1988
Книга посвящена прикладным методам верификации программ. Рассматриваются основные конструкции языков программирования, методы верификации программ, а также вопросы автоматизации процесса верификации. Издание предназначено для специалистов в области программирования, а также для студентов и аспирантов соответствующих специальностей.
#программирование #Компьютерные науки #Методы программирования #верификация программ