书籍 — program analysis

RU

元计算方法及其应用

A

С. М. Абрамов

算法与理论