Вы здесь
Tampere Verification Tool
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2004
Ключевые слова:
Стр.:
P.153-157
Библиография:
Bibliogr.: p.156-157
Издательство:
Источник:
Том:
2988
Карточка:
Б3.54.
Virtanen H., Hansen H., Valmari A., Nieminen J., Erkkila T..
Tampere Verification Tool: Springer// Lecture Notes in Computer Science-2004.-Vol. 2988.-P.153-157
Bibliogr.: p.156-157
Таблица в старой библиотеке:
PAP28 645