Вы здесь

Specification and Verification of Real Time Systems in ACP

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1990
Стр.: 
20 p.
Библиография: 
Bibliogr.: p.18-20
Место издания: 
Номер: 
CS-R9015
Карточка: 

Б2.23, Б3.33, Б2.15.

Groote J. F..

Specification and Verification of Real Time Systems in ACP-Amsterdam., 1990.-20 p.-(Препринт CWI №CS-R9015).
Bibliogr.: p.18-20

Таблица в старой библиотеке: 
PREP3 47