पुस्तकें — axiomatic programming

RU
डिस्क्रीट गणित। औपचारिक तार्किक प्रणालियाँ और भाषाएँ

डिस्क्रीट गणित। औपचारिक तार्किक प्रणालियाँ और भाषाएँ

A

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

एल्गोरिदम और सिद्धांत