Algebraic system specification and development. A survey and annotated bibliography (Q1202052): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Import240304020342 (talk | contribs)
Set profile property.
 
(5 intermediate revisions by 2 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: Nuprl / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Smalltalk / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: OBSCURE / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: LCF / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 02:30, 5 March 2024

scientific article
Language Label Description Also known as
English
Algebraic system specification and development. A survey and annotated bibliography
scientific article

    Statements

    Algebraic system specification and development. A survey and annotated bibliography (English)
    0 references
    23 January 1993
    0 references
    Algebraic system specification
    0 references
    Development
    0 references
    Bibliography
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers