Вы здесь

Model Checking: Theory into Practice

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Стр.: 
p.1-10
Библиография: 
Bibliogr.: p.9-10
Место издания: 
Издательство: 
Том: 
1974
Карточка: 

Б2.2, Б3.5.

Emerson E. A..

Model Checking: Theory into Practice-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2000.-Vol. 1974.-p.1-10-(Lecture Notes in Computer Science).
Bibliogr.: p.9-10

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