• Books
  • Tag: axiomatic programming

Books — axiomatic programming

RU
Discrete Mathematics. Formal Logical Systems and Languages

Discrete Mathematics. Formal Logical Systems and Languages

A

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

Algorithms and theory