Вы здесь
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2000
Ключевые слова:
Стр.:
P.460-469.
Библиография:
Bibliogr.: p.468-469
Издательство:
Источник:
Том:
1755
Карточка:
Б2.23, Б3.54.
Anderson R. J., Beame P., Chan W., Notkin D..
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications: Springer// Lecture Notes in Computer Science-2000.-Vol. 1755.-P.460-469.
Bibliogr.: p.468-469
Таблица в старой библиотеке:
PAP20 983