Formal Methods for Components and Objects (Q5897455)

From MaRDI portal
scientific article; zbMATH DE number 5069226
Language Label Description Also known as
English
Formal Methods for Components and Objects
scientific article; zbMATH DE number 5069226

    Statements

    Formal Methods for Components and Objects (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    1 November 2006
    0 references
    class-based object-oriented languages
    0 references
    formal semantics
    0 references
    determinism
    0 references
    full abstraction
    0 references

    Identifiers