Базовая цена: 700 ₽
Издательство: Мир
Год издания: 1982
Книга представляет собой переводное издание Роберта Андерсона, посвященное доказательству правильности программ. Это глубокое исследование математических основ программирования, затрагивающее методы верификации программ, индукцию, блок-схемы и рекурсивные программы. Издание будет полезно специалистам в области информатики, программистам и всем, кто интересуется теоретическими аспектами создания надежного программного обеспечения.
#советская литература #Научная литература #программирование #информатика #1982 год #алгоритмы #доказательство программ #теория программирования #верификация программ