Вы здесь

Abstrat Interpretation and Verification of Reactive Systems

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
P.60-71.
Библиография: 
Bibliogr.: p.70-71.
Издательство: 
Том: 
724
Карточка: 

Б2.23, Б2.35, Б3.2.

Fernandez J. C..

Abstrat Interpretation and Verification of Reactive Systems: Springer// Lecture Notes in Computer Science-1993.-Vol. 724.-P.60-71.
Bibliogr.: p.70-71.

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