Suggested Topics within your search.
Showing 1 - 11 results of 11 for search '', query time: 0.03s Refine Results
  1. 1
    Formal specification and design /

    Formal specification and design / by Feijs, Loe M. G., 1954-

    Published 1992
    Book
  2. 2
    An introduction to formal specification and Z /

    An introduction to formal specification and Z / by Potter, Ben

    Published 1996
    Book
  3. 3
    Managing information highways : the PRISM book : principles, methods and case studies for designing telecomunications management systems /

    Managing information highways : the PRISM book : principles, methods and case studies for designing telecomunications management systems /

    Published 1996
    Book
  4. 4
    Hybrid and real-time systems /

    Hybrid and real-time systems /

    Published 1997
    Conference Proceeding Book
  5. 5
    Formal systems specification : the RPC memory specification case study /

    Formal systems specification : the RPC memory specification case study /

    Published 1996
    Book
  6. 6
    Design and implementation of symbolic computation systems /

    Design and implementation of symbolic computation systems /

    Published 1996
    Conference Proceeding Book
  7. 7
    Recent trends in data type specification /

    Recent trends in data type specification /

    Published 1996
    Conference Proceeding Book
  8. 8
    Digital signature schemes : general framework and fail-stop signatures /

    Digital signature schemes : general framework and fail-stop signatures / by Pfitzmann, Birgit

    Published 1996
    Book
  9. 9
    OOER'95 : object-oriented and entity-relationship modeling /

    OOER'95 : object-oriented and entity-relationship modeling /

    Published 1995
    Conference Proceeding Book
  10. 10
    Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /

    Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /

    Published 1995
    Conference Proceeding Book
  11. 11
    Recent trends in data type specification /

    Recent trends in data type specification /

    Published 1995
    Conference Proceeding Book

Search Tools: