Вы здесь

Specifying Interactive Systems in Object-Z and CSP

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

Б3.51.

Maccoll I., Carrington D..

Specifying Interactive Systems in Object-Z and CSP-London, Berlin.// IFM 99, 1999.-p.335-352
Bibliogr.: p.350-352

Таблица в старой библиотеке: 
PAP22 500