Підручники, навчальні посібники кафедри ПЗ
Permanent URI for this collection
Browse
Browsing Підручники, навчальні посібники кафедри ПЗ by Author "Kapliienko, Oleksandr O."
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item Верифікація та валідація цифрових систем управління(Видавництво «Дике Поле», 2017) Табунщик, Галина Володимирівна; Tabunshchyk, Galyna V.; Табунщик, Галина Владимировна; Каплієнко, Тетяна Ігорівна; Kapliienko, Tetiana I.; Каплиенко, Татьяна Игоревна; Каплієнко, Олександр Олегович; Kapliienko, Oleksandr O.; Каплиенко, Александр Олегович; Ван Мероде, Дірк; Van Merode, Dirk; Ван Мероде, ДиркUK: Навчальний посібник містить підходи та засоби аналізу, верифікації та валідації цифрових систем керування. Видання призначене для студентів спеціальностей комп’ютерні науки та програмна інженерія вищих навчальних закладів, а також може бути корисним для студентів спеціальностей електричні апарати та радіотехніка та телекомунікації. Практичні завдання можуть бути використанні аспірантами, науковими та педагогічними працівниками, фахівцями-практиками. EN: The textbook includes approaches and tools for analyzing, verifying and validating digital control systems. The publication is intended for students of the specialties of computer sciences and software engineering of higher educational establishments, as well as electrical apparatuses and radio engineering and telecommunications can be useful for students of specialties. Practical tasks can be used by graduate students, scientific and pedagogical workers, and practitioners. RU: Учебное пособие содержит подходы и средства анализа, верификации и валидации цифровых систем управления. Издание предназначено для студентов специальностей компьютерные науки и программная инженерия высших учебных заведений, а также может быть полезным для студентов специальностей электрические аппараты и радиотехника и телекоммуникации. Практические задания могут быть использованы аспирантами, научными и педагогическими работниками, специалистами-практиками.