Вы здесь

Compositional Verification of Real-Time Systems Using Extended Hoare Triples

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Стр.: 
P.252-290.
Библиография: 
Bibliogr.: p.289-290.
Том: 
600
Карточка: 

Б2.23, Б2.1, Б2.42.

Hooman J..

Compositional Verification of Real-Time Systems Using Extended Hoare Triples// Lecture Notes in Computer Science-1992.-Vol. 600.-P.252-290.
Bibliogr.: p.289-290.

Таблица в старой библиотеке: 
PAP3 980