Вы здесь

Constructive Specifications of Abstract Data Types Using Temporal Logic

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

Б2.11, Б2.33.

Lesske F..

Constructive Specifications of Abstract Data Types Using Temporal Logic// Lecture Notes in Computer Science-1992.-Vol. 620.-P.269-280.
Bibliogr.: p.280.

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