Вы здесь
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