Пошук та замовлення літератури -Тезаурус - Рубрика: програмні семантикиЕлектронний каталог

Електронний каталог: Тезаурус - Рубрика: програмні семантики

Рубрика: програмні семантики

Показані записи 4 з 4

Рубрики вищого рівня	Назва рубрики	См. також	Підрубрики	Документи
Рубрики вищого рівня	Назва рубрики	См. також	Підрубрики	в рубрике	с урахуванням підрубрик
НАУКА ТА ЗНАННЯ. ОРГАНІЗАЦІЯ. КОМПʼЮТЕРНА НАУКА. ІНФОРМАЦІЯ. ДОКУМЕНТАЦІЯ. БІБЛІОТЕЧНА СПРАВА. УСТАНОВИ. ПУБЛІКАЦІЇ => Загальні питання науки та культури => комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних => програмне забезпечення => програмування комп'ютерів, комп'ютерні програми => синтаксис і семантика програм => програмні семантики	аксіоматичні семантики
НАУКА ТА ЗНАННЯ. ОРГАНІЗАЦІЯ. КОМПʼЮТЕРНА НАУКА. ІНФОРМАЦІЯ. ДОКУМЕНТАЦІЯ. БІБЛІОТЕЧНА СПРАВА. УСТАНОВИ. ПУБЛІКАЦІЇ => Загальні питання науки та культури => комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних => програмне забезпечення => програмування комп'ютерів, комп'ютерні програми => синтаксис і семантика програм => програмні семантики	алгебраічні семантики
НАУКА ТА ЗНАННЯ. ОРГАНІЗАЦІЯ. КОМПʼЮТЕРНА НАУКА. ІНФОРМАЦІЯ. ДОКУМЕНТАЦІЯ. БІБЛІОТЕЧНА СПРАВА. УСТАНОВИ. ПУБЛІКАЦІЇ => Загальні питання науки та культури => комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних => програмне забезпечення => програмування комп'ютерів, комп'ютерні програми => синтаксис і семантика програм => програмні семантики	денотаційні семантики
НАУКА ТА ЗНАННЯ. ОРГАНІЗАЦІЯ. КОМПʼЮТЕРНА НАУКА. ІНФОРМАЦІЯ. ДОКУМЕНТАЦІЯ. БІБЛІОТЕЧНА СПРАВА. УСТАНОВИ. ПУБЛІКАЦІЇ => Загальні питання науки та культури => комп'ютерна наука і технологія, застосування комп'ютера, оброблення даних => програмне забезпечення => програмування комп'ютерів, комп'ютерні програми => синтаксис і семантика програм => програмні семантики	операційні семантики