Вы здесь
A Tutorial Introduction to PVS
Количество экземпляров:
1
Колл. автор:
Вид:
Монография
Год:
1995
Ключевые слова:
Стр.:
112 p.
Библиография:
Bibliogr.: p.109-112
Место издания:
Карточка:
Б2.23, Б3.54.
Crow J., Owre S., Rushby J., Shankar N., Srivas M..
A Tutorial Introduction to PVS-Menlo Park., 1995.-112 p.
Bibliogr.: p.109-112
Таблица в старой библиотеке:
MONO2 333