Cover von Modularity in model-oriented formal specifications and its interaction with formal reasoning opens in new tab

Modularity in model-oriented formal specifications and its interaction with formal reasoning

Author: Search for this author Fitzgerald, John S.
Statement of Responsibility: John S. Fitzgerald
Year: 1991
Publisher: Manchester, Universität
Series: Technical report series / University of Manchester / Department of Computer Science; 91-11-2
Media group: DISSERTATION
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: Diss. FITZGERALD JOHN S Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

Manchester, Universität, Diss., 1991

Details

Author: Search for this author Fitzgerald, John S.
Statement of Responsibility: John S. Fitzgerald
Year: 1991
Publisher: Manchester, Universität
opens in new tab
Search for this systematic
Search for this subject type
Description: 171 S.
Series: Technical report series / University of Manchester / Department of Computer Science; 91-11-2
Search for this character
Media group: DISSERTATION