Automatic Verification of Sequential Infinite-State Processes | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

Монография

Год:

1997

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

верификация

реактивный

Стр.:

163 p.

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

Bibliogr.: p.155-159

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

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

Серия:

Lecture Notes in Computer Science

Том:

1354

Карточка:

Б2.23, Б2.4, Б3.54.

Burkart O..

Automatic Verification of Sequential Infinite-State Processes-Berlin, Heidelberg.: Springer, 1997.-Vol. 1354.-163 p.-(Lecture Notes in Computer Science).
Bibliogr.: p.155-159

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

MONO2 476