Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space

Вы здесь

Автор:

Paige R. F.

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

Вид:

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

Год:

1998

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

Стр.:

P.214-232.

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

Bibliogr.: p.232

Издательство:

Springer

Источник:

Lecture Notes in Computer Science

Том:

1493

Карточка:

Б3.51.

Paige R. F..

Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space: Springer// Lecture Notes in Computer Science-1998.-Vol. 1493.-P.214-232.
Bibliogr.: p.232

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

PAP18 908