Media type: Microfiche; Thesis Title: Progress properties in program refinement and parallel composition Contributor: Meier, David [Author] imprint: 1997 Mikrofiche-Ausg. Extent: 131 S. Language: English RVK notation: QH 720 : Allgemeines Keywords: Systementwicklung > Modularität Type of reproduction: Mikrofiche-Ausg. Origination: University thesis: Zürich, Techn. Hochsch., Diss., 1997 Footnote:
Central Library – stack Shelf-mark: 2002 8 078548 Item ID: 31135446 Notizen: 2 Mikrofiches Status: Place order for use in library, interlibrary loan possible > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.