On the Design of Extended LOTOS

A Specification Language for Open Distributed System

Hendrik Brinksma

45027

Местоиздаване

Hengelo

Година на издаване

1988

Страници

238 p. il.

Класификационен индекс

УДК	Значение
519.6/.8	Изчислителна математика. Числен анализ и програмиране (машинна математика)/ Изследване на операциите

Отрасъл

Математика

Системен №

13648

Допълнителна сигнатура

B 86

Инвентаризация

Статус	Брой
Фил. Математика (МАТ)	1

Виж още

(1993 - 1994)

(1982 - 1991)

Brinksma, H. On the Design of Extended LOTOS. Hengelo: 1988 238 p. il.

Brinksma, H. (1988) On the Design of Extended LOTOS, Hengelo: 238 p. il.

Brinksma, H. (1988). On the Design of Extended LOTOS. A Specification Language for Open Distributed System. Hengelo: 238 p. il.

Brinksma H. On the Design of Extended LOTOS: A Specification Language for Open Distributed System. Hengelo: 1988. p. 238 p. il.