Самостоятельная работа № 1 по теме "Спецификация параллельной системы на языке Promela и верификация её свойств в системе SPIN"
Если Вы наш подписчик,то для того чтобы скопировать текст этой страницы в свой конспект,
используйте
просмотр в виде pdf. Вам доступно 20 стр. из этой главы.