Вы здесь

Automatic Verification of Sequential Infinite-State Processes

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