• 图书
  • 标签：axiomatic programming

书籍 — axiomatic programming

RU
离散数学。形式逻辑系统与语言

离散数学。形式逻辑系统与语言

A

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

算法与理论