Елементи, в яких автор: "Гнесюк, Б. А."

Група по: Тип елементу | Немає групування

Перейти до: Стаття

Число елементів: 1.

Стаття

Гнесюк, Б. А., Супруненко, О. О. (2013) Методи динамічної верифікації програмного коду на основі інтерпретацій мереж Петрі. Восточно-европейский журнал передовых технологий (№ 1/2). с. 24-27.

Цей список був створений у Sun Dec 22 14:53:05 2024 EET.

Інституційний репозитарій Черкаського національного університету імені Богдана Хмельницького Базується на системі EPrints 3розробленої в Школі електроніки і комп'ютерних наук при Саутгемптонському університеті. Подальша інформація і розробники системи.