Книги по теме: верификация программ

Прикладные методы верификации программ

Прикладные методы верификации программ / В.А. Непомнящий, О.М. Рякин (1988)

850 ₽

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

Доказательство правильности программ / Р. Андерсон (1982)

560 ₽