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

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

Нет в наличии

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

680 ₽

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

Нет в наличии

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

210 ₽