Specifying Interactive Systems in Object-Z and CSP | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1999

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

интеграция

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

диалоговая система

Стр.:

p.335-352

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

Bibliogr.: p.350-352

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

Источник:

Карточка:

Б3.51.

Maccoll I., Carrington D..

Specifying Interactive Systems in Object-Z and CSP-London, Berlin.// IFM 99, 1999.-p.335-352
Bibliogr.: p.350-352

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

PAP22 500