The Design and Implementation of a Program Development System Based on Rewriting Method | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

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

Год:

1997

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

перезапись

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

алгебраический

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

смешанный

Стр.:

P.27-34.

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

Bibliogr.: p.34

Источник:

SIGPLAN Notices

Номер:

2

Том:

32

Карточка:

Б2.3, Б3.2.

Yongqiang S., Kai L., Li S..

The Design and Implementation of a Program Development System Based on Rewriting Method// SIGPLAN Notices-1997, №2.-Vol. 32.-P.27-34.
Bibliogr.: p.34

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

ACM5 109