A Categorical Interpretation of Partial Function Logic and Hoare Logic

Вы здесь

Автор:

Knijnenburg P.M. W.

Nordemann F.

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

Вид:

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

Год:

1992

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

логика

язык программирования

семантика

Стр.:

P.229-240.

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

Bibliogr.: p.240.

Источник:

Lecture Notes in Computer Science

Том:

620

Карточка:

Б2.14, Б2.24.

Knijnenburg P.M. W., Nordemann F..

A Categorical Interpretation of Partial Function Logic and Hoare Logic// Lecture Notes in Computer Science-1992.-Vol. 620.-P.229-240.
Bibliogr.: p.240.

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

PAP3 931