Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

Монография

Год:

1996

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

верификация

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

Стр.:

143 p.

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

Bibliogr.: p.133-142.

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

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

Серия:

Lecture Notes in Computer Science

Том:

1032

Карточка:

Б2.23, Б3.54, Б2.42.

Godefroid P..

Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem-Berlin, Heidelberg.: Springer, 1996.-Vol. 1032.-143 p.-(Lecture Notes in Computer Science).
Bibliogr.: p.133-142.

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

MONO1 985