Введение в язык Promelia и систему комплексной верификации Spin : учебное пособие / И. В. Шошмина, Ю. Г. Карпов ; Федеральное агентство по образованию, Санкт-Петербургский гос. политехнический ун-т
Язык: русский.Выходные данные: Санкт-Петербург : Изд-во Политехнического университета, 2010Физическая характеристика: 110, [1] с. : ил., табл. ; 20 см.ISBN: 978-5-7422-2666-6 Библиография: Библиогр.: с. 99.Предметная рубрика - Тема: PROMELA, язык моделирования процессов -- Учебные издания для высших учебных заведений | SPIN, система программирования -- Учебные издания для высших учебных заведений Другие классификации: ( rubbk ) З973.2-018.2-5-05я73-1 ; ( rubbk ) З973.2-018.19PROMELA.я73-1 ; З973.202-018.1я73-1 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2010-3/33969 (Просмотр полки(Открывается ниже)) | 4613 | Доступно | 3270651 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2010-3/33969 (Просмотр полки(Открывается ниже)) | 4613 | Доступно | 3270652 |
Библиогр.: с. 99