An Improved Recipe for Specifying Reactive Systems in Z

Вы здесь

Автор:

Evans A. S.

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

Вид:

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

Год:

1997

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

реактивный

система

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

Стр.:

P.275-294.

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

Bibliogr.: p.293-294

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

Springer

Источник:

Lecture Notes in Computer Science

Том:

1212

Карточка:

Б3.5, Б2.1, Б3.33.

Evans A. S..

An Improved Recipe for Specifying Reactive Systems in Z: Springer// Lecture Notes in Computer Science-1997.-Vol. 1212.-P.275-294.
Bibliogr.: p.293-294

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

PAP16 331