Вы здесь

Actor-Oriented System Specification with Dynamic Logic

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1991
Стр.: 
P.337-357.
Том: 
494
Карточка: 

Б2.24, Б2.14.

Meyer I., Wieringa R..

Actor-Oriented System Specification with Dynamic Logic// Lecture Notes in Computer Science-1991.-Vol. 494.-P.337-357.

Таблица в старой библиотеке: 
PAP1 734