Search Results - "program verification"

Suggested Topics within your search.
  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Program verification

    Program verification by Francez, Nissim

    Published 1992
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Program verification fundamental issues in computer science

    Program verification fundamental issues in computer science

    Published 1993
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    An introduction to formal program verification

    An introduction to formal program verification by Mili, Ali

    Published 1985
    Subjects: “…Computer programs Verification…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    Rigorous software development an introduction to program verification

    Rigorous software development an introduction to program verification

    Published 2011
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 5
    Programming logics an introduction to verification and semantics

    Programming logics an introduction to verification and semantics by Gumb, Raymond D

    Published 1989
    Subjects: “…Computer programs Verification…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  6. 6
    Guidance for the verification and validation of neural networks

    Guidance for the verification and validation of neural networks by Pullum, Laura L.

    Published 2007
    Subjects: “…Computer programs Verification…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: