Search Results - "Formal methods (Computer science)"

Suggested Topics within your search.
  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Dynamic logic [electronic resource]

    Dynamic logic [electronic resource] by Harel, David 1950-, Kozen, Dexter 1951-, Tiuryn, Jerzy

    Published 2000
    Subjects:
    An electronic book accessible through the World Wide Web; click for information
  2. 2
    Z an introduction to formal methods

    Z an introduction to formal methods by Diller, Antoni

    Published 1994
    Subjects: “…Formal methods (Computer science)…”
    Table of Contents
  3. 3
    Formal specification using Z

    Formal specification using Z by Lightfoot, David 1951-

    Published 2001
    Subjects:
  4. 4
    Formal engineering for industrial software development using the SOFL method

    Formal engineering for industrial software development using the SOFL method by Liu, Shaoying 1960-

    Published 2004
    Subjects:
    Table of contents only
  5. 5
    Fuzzy computational ontologies in contexts formal models of knowledge representation with membership degree and typicality of objects, and their applications

    Fuzzy computational ontologies in contexts formal models of knowledge representation with membership degree and typicality of objects, and their applications by Yi, Cai, Ching-Man Au, Yeung, Ho-Fung, Leung

    Published 2012
    Subjects: “…Formal methods (Computer science)…”

Search Tools: