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

Static analysis of software : the abstract interpretation / ed. J. -L. Boulanger. - London [etc.] : ISTE: Wiley, 2012. - XIV, 331 p. : ill. - Библиогр. в конце глав. Указ.: с. 329-331. - ISBN 978-1-84821-320-3. - Текст : непосредственный.

ГРНТИ	УДК
50.01.81	004.415.53

Рубрики:
Программы для ЭВМ -- Тестирование
Программное обеспечение ЭВМ -- Качество

Доп. точки доступа:
Boulanger, J.-L.\ed.\

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

Шифр в сводном ЭК: 1c57c0ed3bca19dded0b972e82265dbb

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