Полное описание

Карпов, Ю. Г. Технология программирования. Верификация параллельных и распределенных программных систем : учеб. пособие / Ю. Г. Карпов. - СПб. : Изд-во Политехн. ун-та, 2010. - 119 с. : ил. - Библиогр.: с. 118-119 (32 назв.). - 100 экз. - ISBN 978-5-7422-2422-8. - Текст : непосредственный.
В надзаг.: С.-Петерб. гос. политехн. ун-т

ГРНТИ	УДК
50.05.13	004.415.5

Рубрики:
Программы для ЭВМ -- Верификация

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-10/69454)

Шифр в сводном ЭК: 0d5046c0e88e3b26506d3c9ad7c83a12

Заказать издание
Заказ фрагмента документа ₽