Проблемы спецификации и верификации параллельных систем. Сборник научных трудов | Мемориальная библиотека А.П. Ершова

Вы здесь

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

2

Колл. автор:

ИСИ СО РАН

Вид:

Сборник или журнал

Год:

1995

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

верификация

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

параллельный

Стр.:

237 с.

Редактор:

Непомнящий В. А.

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

Новосибирск

Карточка:

Б2.22, Б2.23, Б2.42.

Проблемы спецификации и верификации параллельных систем. Сборник научных трудов/ИСИ СО РАН. Ред. Непомнящий В. А..-Новосибирск., 1995.-237 с.

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

MONO2 197