Calculating Encoding and Decoding Functions for Prefix Codes | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Pareja-Flores C.

Velazquez-Iturbide J. A.

Вид:

Статья из сборника или журнала

Год:

1999

Ключевые слова:

функциональный

программирование

спецификация

программа

трансформация

верификация

Стр.:

P.54-60

Библиография:

Bibliogr.: p.60

Источник:

ACM SIGPLAN Notices

Номер:

4

Том:

34

Карточка:

Б2.23, Б3.21.

Pareja-Flores C., Velazquez-Iturbide J. A..

Calculating Encoding and Decoding Functions for Prefix Codes// ACM SIGPLAN Notices-1999, №4.-Vol. 34.-P.54-60
Bibliogr.: p.60

Таблица в старой библиотеке:

PAP24 561