Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
process-oriented language
Связанные издания:
Two-Step Deductive Verification of Control Software Using Reflex
Two-Step Deductive Verification of Control Software Using Reflex
