Вы здесь

Towards Verifying Large(r) Systems: A Strategy and an Experiment

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
P.135-154.
Библиография: 
Bibliogr.: p.153-154.
Том: 
683
Карточка: 

А3.22, А3.4.

Subrahmanyam P. A..

Towards Verifying Large(r) Systems: A Strategy and an Experiment// Lecture Notes in Computer Science-1993.-Vol. 683.-P.135-154.
Bibliogr.: p.153-154.

Таблица в старой библиотеке: 
PAP6 103