Андерсон Р
Доказательство правильности программ Ред.Д.Б.Подшивалова Пер.с англ.Б.Н.Зобниной - М Мир 1982 - 168
ЭШФ С-81215, С- 85255, С-85142
математическая индукция доказательство правильности программ, написанных на обычных языках программирования современные исследования, связанные с доказательством правильности программ
Орос хэл дээр,
вычислительная техника электронные вычислительные машины программирование доказательство правильности
Доказательство правильности программ Ред.Д.Б.Подшивалова Пер.с англ.Б.Н.Зобниной - М Мир 1982 - 168
ЭШФ С-81215, С- 85255, С-85142
математическая индукция доказательство правильности программ, написанных на обычных языках программирования современные исследования, связанные с доказательством правильности программ
Орос хэл дээр,
вычислительная техника электронные вычислительные машины программирование доказательство правильности