Showing 1 - 5 results of 5 for search '"program formalization"', query time: 0.04s Refine Results
  1. 1
    Equivalence Problem Solvability in Biparametric Gateway Program Models

    Equivalence Problem Solvability in Biparametric Gateway Program Models by A. E. Molchanov

    Published 2014-08-01
    Subjects: “…program formalization…”
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Equivalence Problem Solvability in Gateway Program Models

    Equivalence Problem Solvability in Gateway Program Models by R. I. Podlovchenko, A. E. Molchanov

    Published 2014-04-01
    Subjects: “…program formalization…”
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    About Algebraic Program Models with Procedures

    About Algebraic Program Models with Procedures by R. I. Podlovchenko, A. E. Molchanov

    Published 2015-03-01
    Subjects: “…program formalization…”
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Formal Verification of Programs in Functional Dataflow Parallel Language

    Formal Verification of Programs in Functional Dataflow Parallel Language by M. S. Kropacheva, A. I. Legalov

    Published 2015-03-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Automation of Formal Verification of Programs in the Pifagor Language

    Automation of Formal Verification of Programs in the Pifagor Language by M. S. Ushakova, A. I. Legalov

    Published 2015-08-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: