Красовицкий, Александр Михайлович. Спецификация и верификация программ [Текст] : учеб.пособие по Computer Science: Образоват.программа Европей.Союза TEMPUS-TACIS / А.М. Красовицкий; Каз.нац.ун-т им.аль-Фараби,Науч.-исслед.ин-т математики и механики. - Алматы : Print-S, 2004. - 84 с. : ил. - Библиогр.: с. 84 (15 назв.). - ISBN 9965-9343-8-X : 80 тг.
Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |