Вы здесь

Process Algebra: Specification and Verification in Bisimulation Semantics

Количество экземпляров: 
1
Колл. автор: 
Вид: 
Статья из сборника или журнала
Год: 
1986
Стр.: 
p.61-94
Библиография: 
Bibliogr.: p.92-94
Место издания: 
Карточка: 

Б2.15.

Bergstra J. A., Klop J. W..

Process Algebra: Specification and Verification in Bisimulation Semantics-Amsterdam.// Mathematics and Computer Science II, 1986.-p.61-94
Bibliogr.: p.92-94

Таблица в старой библиотеке: 
PAP30 473