Вид документа : Однотомное издание Шифр издания : 0596РК00097 рукописный текст Автор(ы) : Шарипбаев, Алтынбек Амирович Заглавие : Верификация программных и аппаратных средств вычислительных машин и систем : дис. ... д-ра техн. наук : 05.13.13 Выходные данные : Б.м., 1996 Колич.характеристики :183 с. УДК : 681.3 Экземпляры :СВ(1) Свободны : СВ(1)