Inductive Definitions, Semantics and Abstract Interpretation | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Ecole Polytechnique

Вид:

Препринт

Год:

1991

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

семантика

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

структурный

операционный

Стр.:

12 p.

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

Bibliogr.: p.12.

Место издания:

Источник:

Theoretical Computer Science

Номер:

LIX/RR/91/03

Том:

103

Карточка:

Б2.24.

Cousot P., Cousot R..

Inductive Definitions, Semantics and Abstract Interpretation-Palaiseau., 1991.-Vol. 103.-12 p.-(Препринт Ecole Polytechnique №LIX/RR/91/03).
Bibliogr.: p.12.

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

PREP1 694