Data refinement of predicate transformers

Вы здесь

Автор:

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

Вид:

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

Год:

1991

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

Стр.:

P. 143-162

Реферат:

Уточнение данных преобразователей предикатов

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

Bibliogr.: p.161-162

Источник:

Номер:

Том:

Карточка:

Б5.11, Б2.13.

Gardiner P., Morgan C..

Data refinement of predicate transformers// Theoretical Computer Science-1991, №1.-Vol. 87.-P. 143-162
Bibliogr.: p.161-162

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

PAP2 301