РАЗДЕЛ: Computer Scienc.../ Теоретическое программирование/ Абстрактные типы данных; алгебраические специфика.../

Начало

Выше

Полл Е. Коалгебраическая семантика подтипов.

Перейти
Замулин А.В. Формальные методы спецификации программ

Перейти
Larch Home Page

Перейти
Guttag J. V., Horning J. J. Larch: Languages and Tools for Formal Specification

Перейти