Полное описание
> Шошмина, И. В. Введение в язык PROMELA и систему комплексной верификации SPIN : учеб. пособие / И. В. Шошмина, Ю. Г. Карпов. - СПб. : Изд-во Политехн. ун-та, 2010 (Санкт-Петербург). - 111 с. : ил. - Библиогр.: с. 99 (5 назв.). - 100 экз. - ISBN 978-5-7422-2666-6. - Текст : непосредственный.
В надзаг.: С.-Петерб. гос. политехн. ун-т
ГРНТИ | УДК | |
50.05.13 | 004.415.5 | |
004.415.28 |
Рубрики:
Программы для ЭВМ -- Верификация
Вычислительные системы распределенные -- Спецификация
Доп. точки доступа:
Карпов, Ю.Г.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-10/72147)>
Шифр в сводном ЭК: 714b6a6d3a0898e13dfb5e1b9ffeea15
Заказ фрагмента документа ₽