Suggested Topics within your search.
Showing 1 - 3 results of 3 for search '"Computer software Verification"', query time: 0.01s Refine Results
  1. 1
    Verification of sequential and concurrent programs

    Verification of sequential and concurrent programs by Apt, Krzysztof R. 1949-

    Published 1991
    Subjects: “…Computer software Verification.…”
    Book
    Save to List
    Saved in:
  2. 2
    Verification and validation of rule-based expert systems

    Verification and validation of rule-based expert systems by Smith, Suzanne 1953-

    Published 1993
    Subjects:
    Book
    Save to List
    Saved in:
  3. 3
    Tool support for system specification, development and verification

    Tool support for system specification, development and verification

    Published 1999
    Subjects:
    Book
    Save to List
    Saved in:

Search Tools: