Вы здесь

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