АВТОМАТИЧЕСКОЕ ПОСТРОЕНИЕ МОДЕЛИ ДЛЯ ВЕРИФИКАТОРА SPIN СРЕДСТВ СИНХРОНИЗАЦИИ БИБЛИОТЕКИ PTHREAD

Дата публикации: 2011

Дата публикации в реестре: 2020-03-03T17:15:19Z

Тип: Conference Item

Источник: VI Всероссийская конференция «Молодёжь и наука: начало XXI века», Секция «Информатика»