eaDonNTU, Donetsk: Просмотр архива электронных ресурсов

	Электронный архив Донецкого национального технического университета (г.Донецк) Electronic archive of Donetsk national technical university (Donetsk)

Просмотр коллекции по группе - По тематике Model Checking

Перейти к: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
А Б В Г Д Е Є Ж З И І К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

или введите несколько первых букв:

Отображение результатов 1 до 2 из 2

Дата публикации	Название	Автор(ы)
2012	An Approach to Composite Web Services Formal Verification	Shkarupylo, V.V.; Kudermetov, R.К.; Шкарупило, В.В.; Кудерметов, Р.К.
2012	Концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов	Шкарупило, В.В.; Кудерметов, Р.К.; Паромова, Т.А.; SHKARUPYLO, V.; KUDERMETOV, R.; PAROMOVA, T.; ПАРОМОВА, Т.О.

Отображение результатов 1 до 2 из 2