W 161-1/207
Шошмина, Ирина Владимировна.
Введение в язык PROMELA и систему комплексной верификации SPIN : учеб. пособие / И. В. Шошмина, Ю. Г. Карпов ; Федер. агентство по образованию, С.-Петерб. гос. политехн. ун-т. - СПб. : Изд-во Политехн. ун-та, 2010. - 110, [1] с. : ил. - Библиогр.: с. 99. - ISBN 978-5-7422-2666-6 : 80.00 р.ББК з973.2-018-5-05я73-1 + з973.2-018.19Promela.я73-1
Рубрики: Машинные языки--Promela
Интерпретаторы
Дод.точки доступу:
Карпов, Юрий Глебович
Примірників всього: 1
ХР (1)
Свободны: ХР (1)