Введение в технологии верификации : учебно-методическое пособие / П. Д. Дробинцев ; М-во образования и науки Рос. Федерации, С.-Петерб. политехн. ун-т Петра Великого
Язык: русский.Выходные данные: Санкт-Петербург : Изд-во Политехнического университета, 2016Физическая характеристика: 101 с. : ил. ; 21 см.ISBN: 9785742254256 Библиография: Библиогр.: с. 95-101 (146 назв.).Предметная рубрика - Тема: Программы(компьют.) -- Верификация -- Учебно-методические пособия для высших учебных заведений Другие классификации: З973.2-018-07я73-1 Тип экземпляра: КнигаНет реальных экземпляров для этой записи
Библиогр.: с. 95-101 (146 назв.)