Formal Methods & Service Specification | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Mac An Airchinnigh M.

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

1

Вид:

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

Год:

1994

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

формальный

мультимедиа

доказательство

Стр.:

P.563-572.

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

Bibliogr.: p.571-572.

Источник:

Lecture Notes in Computer Science

Том:

851

Карточка:

В5, В5.3.

Mac An Airchinnigh M., Belsnes D., O Regan G..

Formal Methods & Service Specification// Lecture Notes in Computer Science-1994.-Vol. 851.-P.563-572.
Bibliogr.: p.571-572.

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

PAP9 994