Concurrent System Verification with Process Algebra

Johan Zuidweg

44900

Издателство

PTT Research

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

Leiden

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

1990

Страници

237 p. il.

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

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

Отрасъл

Математика

Системен №

13454

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

Z 91

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

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

Виж още

H. Douglas Brown (2000)

Zuidweg, J. Concurrent System Verification with Process Algebra. Leiden: PTT Research, 1990 237 p. il.

Zuidweg, J. (1990) Concurrent System Verification with Process Algebra, Leiden: PTT Research 237 p. il.

Zuidweg, J. (1990). Concurrent System Verification with Process Algebra. Leiden: PTT Research, 237 p. il.

Zuidweg J. Concurrent System Verification with Process Algebra. Leiden: PTT Research; 1990. p. 237 p. il.