Можливо, ви намагаєтесь звернутися до цього сайту із захищеного браузера на сервері. Увімкніть сценарії та перезавантажте сторінку.
Увімкнення більш доступного режиму
Вимкнення більш доступного режиму
Пропустити команди стрічки
Перейти до основного вмісту
Вимкнути анімацію
Увімкнути анімацію
Увійти
Scientific Publications and Publishing Activity of NAS of Ukraine
Books
Формальні методи специфікації програм : навч. посіб.
Book
NAS Ukraine
About NASU
Activity
Apparatus of Presidiumof NASU
Awards
Book
Вибрано
Book Series
Centers for Collective Use of NAS of Ukraine
Colegial
Competition
Department
International cooperation
Members
Messages
Multi-volume
NASUDepartment
Organization
Personal Site
Postgraduate and Doctoral Education
Presidium
Державні нагороди та відзнаки
НАН України
Наукові та науково-популярні заходи НАН України
Наукові та науково-прикладні розробки
Центри колективного користування приладами НАН України
Red
Інформаційне наповнення сайту
bcs
Book
Так
Так
20%,80%
Елементи для відображення відсутні.
Type of publication:
Educational Editions
Rubric:
Computer Science
Author(s):
Дорошенко А.Ю., Жереб К.А., Іванов Є.В. та ін.
Where and by whom is issued:
Київ : Київський ун-т
Year:
2018
Scope:
560 с. (Ум. друк. арк. 21,4)
ISBN:
978-966-439-990-3
Main Publisher:
Institute of Software Systems
Елементи для відображення відсутні.
©
Інститут програмних систем НАН України
, 2023