УДК 004.423.4
Семантика программ
вверх домой
|
| код УДК |
описание |
примечания |
| 004.423.42 |
Операционная семантика |
|
| 004.423.43 |
Денотационная семантика |
|
| 004.423.45 |
Алгебраическая семантика |
|
| 004.423.46 |
Аксиоматическая семантика |
|
| |
|
Сгенерировано Флэнг-системой из метаописания УДК в формате Dublin Core
© 2004 TeaCode.com
|