Электронный каталог

Статья

Непомнящий, В.А.
Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помощью сетей Петри высокого уровня / В.А.Непомнящий, [и др.] // Программирование. – 2008. – No.6. – с.35-49. – URL: http://www.springerlink.com/content/373210363135212x/fulltext.pdf. – Библиогр.:23.



Спец.(статьи,препринты) = Ц 84 а2 - Многомашинные комплексы вычислительных средств. Вычислительные системы и сети. Параллельные вычисления. Квантовые компьютеры