Вы здесь
A Framework for the Specification of Reactive and Concurrent Systems in Z
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.62-79.
Библиография:
Bibliogr.: p.79.
Издательство:
Источник:
Том:
1026
Карточка:
Б3.51, Б2.42, Б2.1.
Baumann P., Lermer K..
A Framework for the Specification of Reactive and Concurrent Systems in Z: Springer// Lecture Notes in Computer Science-1995.-Vol. 1026.-P.62-79.
Bibliogr.: p.79.
Таблица в старой библиотеке:
PAP14 147