VDM '91. Formal software development methods. Vol. 1: Conference contributions. 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings (Q1202068)

From MaRDI portal
Revision as of 06:01, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
VDM '91. Formal software development methods. Vol. 1: Conference contributions. 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings
scientific article

    Statements

    title
    VDM '91. Formal software development methods. Vol. 1: Conference contributions. 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings (English)
    0 references
    publication date
    23 January 1993
    0 references
    review text
    The articles of this volume will not be indexed individually.
    0 references
    zbMATH Keywords
    Noordwijkerhout (NL)
    0 references
    VDM '91
    0 references
    Formal software development methods
    0 references
    Software development methods
    0 references
    Proceedings
    0 references
    Symposium
    0 references

    Identifiers

    DOI
    10.1007/3-540-54834-3
    0 references
    zbMATH DE Number
    108166
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1202068&oldid=13264090"
    Powered by MediaWiki