Вы здесь

RT-Z: An Integration of Z and timed CSP

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

Б3.51, А3.45.

Suhl C..

RT-Z: An Integration of Z and timed CSP-London, Berlin.: Springer// IFM 99, 1999.-p.29-48
Bibliogr.: p.48

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