Behavioural Equivalence Relations Induced by Programming Logics | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Univ. Carnegie-Mellon

Вид:

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

Год:

1984

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

пропозициональный

динамический

Стр.:

p.97-108

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

Bibliogr.: p.108

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

Карточка:

Б2.14.

Brookes S. D., Rounds W. C..

Behavioural Equivalence Relations Induced by Programming Logics-Pittsburgh, Ann Arbor., 1984.-p.97-108
Bibliogr.: p.108

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

PAP30 470