Вы здесь

Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem

Автор: 
Количество экземпляров: 
1
Вид: 
Монография
Год: 
1996
Стр.: 
143 p.
Библиография: 
Bibliogr.: p.133-142.
Место издания: 
Издательство: 
Том: 
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