Towards a Calculus of Predicate Transformers

Вы здесь

Автор:

Martin C.

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

Вид:

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

Год:

1995

Стр.:

P.489-498

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

Bibliogr.: p.498

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

Berlin

Heidelberg

Серия:

Lecture Notes in Computer Science

Источник:

Mathematical Foundations of Computer Science 1995

Том:

969

Карточка:

Б2.1.

Martin C..

Towards a Calculus of Predicate Transformers-Berlin, Heidelberg.// Mathematical Foundations of Computer Science 1995, 1995.-Vol. 969.-P.489-498-(Lecture Notes in Computer Science).
Bibliogr.: p.498

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

PAP13 389