Search ...
Новости
Проекты
EMV-ядро
Платежные сервисы
Микро-ядро
Программное обеспечение для POS терминалов
Система управления автоматизированным парковочным комплексом sPARK
Генератор кода
Система временных рассуждений
Средство рассуждения на основе темпоральных прецедентов
Публикации
Курсы
Методы контроля программ
Распределенные системы и параллельные вычисления
CASE-технологии
Вычислительные машины, комплексы, системы и сети
Современные архитектуры крупных распределенных программных комплексов и систем
Блог
Информация
Информация для студентов и аспирантов
Как правильно сделать презентацию к выпускной работе
Структура пояснительной записки к выпускной работе
Страницы групп
Контакты
Главная
»
Проекты
»
Микро-ядро
»
Язык h
»
Базовые конструкции
Прием и анализ входящих сообщений
Verify
Receive
Await
