|
Вид документа : Однотомное издание Шифр издания : . 27.47.15. grnti
Автор(ы) : Silva, Alexandra, Rutten, Jan J.M.M
Заглавие : A coinductive calculus of binary trees
Выходные данные : Amsterdam, 2007 Колич.характеристики :28 c.:
ил
Серия: Report. SEN: Software engineering/ Centrum voor wiskunde en informatica, ISSN 1386-369X; SEN-R0707
Примечания : ; Библиогр.: с. 28
Цена : Б.ц.
ГРНТИ : ; 27.47.15 + ; 27.45.17 УДК : +
Доп.точки доступа: Rutten, Jan J.M.M
|
|