Аксіоматична семантика: відмінності між версіями
[перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
м Категоризація |
м Категоризація |
||
Рядок 12:
[[Категорія:Семантика мов програмування]]
[[Категорія:Логіка в інформатиці]]
[[Категорія:Мови формальних специфікацій]]
|