Specification and decomposition in concurrency/ by Liu Xinxin.
Series: Report (Aalborg universitetscenter. Afdeling for matematik og datalogi) ; R 92-2005.Publication details: Aalborg, Denmark: University of Aalborg, Institute for Electronic Systems, Dept. of Mathematics and Computer Science, [1992].Description: 200 p.: ill.; 30 cmSubject(s): Dissertation note: Thesis (Ph. D.)--University of Aalborg, 1992.Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Thesis | Castorina Estantes Abertas (Open Shelves) | Teses (Thesis) | 1 | Available | 39063000278054 |
Cover title.
"April 1992."
Thesis (Ph. D.)--University of Aalborg, 1992.
Includes bibliographical references.
There are no comments on this title.