Перейти к основному содержанию
документы
об архиве
о проекте
А.П. Ершов
in English
Статья
Архив
Материалы по вычислительной технике и программному обеспечению ЭВМ
Статьи о развитии программирования
Статья
Статья
В Турского "Specification as a Theory with Models in the Computer World and in the Real World".
Дата:
26.11.1987
Авторы:
Владислав Марек Турский
Назад