Вы здесь

Concurrency and Data Types: A Specification Method. An Example with LOTOS

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
P.277-292
Библиография: 
Bibliogr.: p.291-292
Место издания: 
Том: 
1589
Карточка: 

Б2.4, Б2.1, Б3.5.

Poizat P., Choppy C., Royer J. -C..

Concurrency and Data Types: A Specification Method. An Example with LOTOS-Berlin, Heidelberg.// Lecture Notes in Computer Science, 1999.-Vol. 1589.-P.277-292-(Lecture Notes in Computer Science).
Bibliogr.: p.291-292

Таблица в старой библиотеке: 
PAP19 974