Логіка Гоара: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
→Посилання: Більше не розпізнається як ізольована стаття, removed: {{Ізольована стаття}} за допомогою AWB |
Немає опису редагування |
||
Рядок 138:
* [http://j-algo.binaervarianz.de/index.php?language=en j-Algo-modul Hoare calculus] — Візуалізація числення Хоара в програмі візуалізації алгоритмів j-Algo
[[Категорія:
[[Категорія:Інформатика]]
[[Категорія:Формальні методи]]
[[de:Hoare-Kalkül]]
Рядок 152 ⟶ 154:
[[vi:Luận lý Hoare]]
[[zh:霍尔逻辑]]
|