Вікіпедія

Логіка Гоара: відмінності між версіями

Інтерактивний перегляд історії
[перевірена версія][перевірена версія]
← Попереднє редагуванняНаступне редагування →
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
Basio (обговорення | внесок)
54 813 редагувань
м вилучена Категорія:Програмні конструкції за допомогою HotCat
Рядок 181:
 
[[Категорія:Математична логіка]]
[[Категорія:Програмні конструкції]]
[[Категорія:Формальні методи]]
Отримано з https://uk.wikipedia.org/wiki/Логіка_Гоара