На главную
| Индекс УДК | Наименование раздела |
| 004.423.46 | Аксиоматическая семантика |
| 004.423.45 | Алгебраическая семантика |
| 004.423.43 | Денотационная семантика |
| 004.423.42 | Операционная семантика |
| 004.423.4 | Семантика программ |
| АПУ (Алфавитно-предметный указатель) |
| [Вернуться] |