Книги — axiomatic programming

RU
Дискретная математика. Формально-логические системы и языки

Дискретная математика. Формально-логические системы и языки

A

С. М. Авдошин, А. А. Набебин

Алгоритмы и теория