Вы здесь

Burstall R. M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Institutions: Abstract Model Theory for Spesification and Programming 1992 Goguen J. A., Burstall R. M. J. of the ACM 04.03.1992
П Algebras, Theories and Freeness: An Introduction for Computer Scientists 1982 Burstall R. M., Goguen J. A. Univ.Edinburgh 19.03.2004