Логіка Гоара: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Bunyk (обговорення | внесок) |
→Посилання: + {{Ізольована стаття}} за допомогою AWB |
||
Рядок 155:
[[zh:霍尔逻辑]]
[[en:Hoare logic]]
{{Ізольована стаття}}
|