Search Results

Suggested Topics within your search.
  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Formal specification using Z

    Formal specification using Z by Lightfoot, David , 1951-

    Published 2001
  2. 2
    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
    Table of contents only
  3. 3
    Z : an introduction to formal methods

    Z : an introduction to formal methods by Diller, Antoni

    Published 1994
    Table of Contents
  4. 4
    Dynamic logic [electronic resource]

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

    Published 2000
    An electronic book accessible through the World Wide Web; click for information
  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

Search Tools: