Compatibility problems in the development of algebraic module specifications (Q2638799): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3914435 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4063607 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic specification of modules and their basic interconnections / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Munich project CIP. Volume I: The wide spectrum language CIP-L / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3355245 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: <i>F</i>‐Morphismen / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995131 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3221381 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3031906 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995276 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5416166 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Report on the Larch shared language / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Realization is universal / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5682456 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Union and actualization of module specifications: Some compatibility results / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4721637 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3792213 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4725720 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Data Type Specification: Parameterization and the Power of Specification Techniques / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3221372 / rank | |||
Normal rank |
Latest revision as of 13:45, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Compatibility problems in the development of algebraic module specifications |
scientific article |
Statements
Compatibility problems in the development of algebraic module specifications (English)
0 references
1990
0 references
algebraic module specifications
0 references