Progress Properties in Program Refinement and Parallel Composition (ETH Diss. ; Nr. 12010)

Progress Properties in Program Refinement and Parallel Composition

(ETH Diss. ; Nr. 12010)

Name of awarding university/degree: Eidgenössische Technische Hochschule Zürich

Notes on use

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 博士論文
Title: Progress Properties in Program Refinement and Parallel Composition
Author/Editor: David Meier.
Series Title: ETH Diss. ; Nr. 12010
Author Heading: Meier, David.
Publication, Distribution, etc.: Zürich : Eidgenössische Technische Hochschule Zürich
Publication Date: 1997.
Extent: 2 Microfiches ( 135 fr.) : negative, ill.
Degree grantor/type: Eidgenössische Technische Hochschule Zürich
Date Granted: 1997.
Date Granted (W3CDTF): 1997
Note (Dissertation): 博士論文
Thesis (doctoral) --Eidgenössische Technische Hochschule Zürich, 1997.
Place of Publication (Country Code): CH
Text Language Code: eng
Note (Material Type): [microform]
Note (General): Swiss Federal Institute of Technology.
Note (Bibliography): Includes bibliographies.
Summary in German and English.
Holding library: 国立国会図書館
Call No.: LS-DISE-12010
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003438230
http://id.ndl.go.jp/bib/000003438230
Bibliographic Record Category (NDL): 216