Showing 1 - 5 results of 5 for search '', query time: 0.02s Refine Results
  1. 1

    Formal systems specification : the RPC memory specification case study /

    Published 1996
    Book
  2. 2

    Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text /

    Published 1996
    Conference Proceeding Book
  3. 3

    Design and implementation of symbolic computation systems /

    Published 1996
    Conference Proceeding Book
  4. 4

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

    Published 1995
    Conference Proceeding Book
  5. 5

    Recent trends in data type specification /

    Published 1995
    Conference Proceeding Book