पुस्तकें — deductive verification

RU
प्रोग्राम की शुद्धता का प्रमाण

प्रोग्राम की शुद्धता का प्रमाण

A

К. Рустан М. Лейно

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