Вы здесь

Главная

Доказательство корректности программ

Автор: 
Лейно К.Р.М.
Количество экземпляров: 
1
Вид: 
Монография
Год: 
2024
Ключевые слова: 
доказательство
корректность
рекурсия
тип данных
индуктивный
инвариант
цикл
спецификация
иси
Стр.: 
530 с.
Библиография: 
Библиогр.: c.514-521
Место издания: 
Москва
Издательство: 
ДМК Пресс
Карточка: 

Лейно К.Р.М..

Доказательство корректности программ: Пер с. англ. -Москва.: ДМК Пресс, 2024.-530 с.
Библиогр.: c.514-521