Вы здесь

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