Главная Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


КНИГИ - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>A=Красовицкий, А. М$<.>)
Общее количество найденных документов : 1
1.
   004
   К78


    Красовицкий, А. М.
    Спецификация и верификация программ : учебное пособие / А. М. Красовицкий. - Алматы : Print S, 2004. - 185 с. - ISBN 996593438Х : Б. ц.
УДК
Рубрики: Информационные технологии
Кл.слова (ненормированные):
компьютерные технологии -- образовательный проект -- программа -- TEMPUS TACIS -- спецификация -- верификация -- метод

Перейти: http://library.psu.kz/fulltext/buuk/b2150.pdf
Экземпляры всего: 7
ЧЗ (1), Колледж (1), АБ (5)
Свободны: ЧЗ (1), Колледж (1), АБ (5)
Найти похожие
 
© Павлодарский государственный университет им. С.Торайгырова, 2009-2015