Войти
Нет соединения — показаны сохранённые данные
Formal models in programming
Formal models in programming
IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing (1985 Vienna, Austria)