Healthiness Versus Realizability in Predicate Transformers | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1990

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

реляционный

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

программа

корректность

семантика

Стр.:

31 p.

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

Bibliogr.: p.31

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

Номер:

TR CSRI-240

Карточка:

Б2.23, Б2.24.

Holt R..

Healthiness Versus Realizability in Predicate Transformers-Toronto., 1990.-31 p.-(Препринт Univ.Toronto №TR CSRI-240).
Bibliogr.: p.31

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

PREP1 520