Showing 1 - 2 results of 2 for search '"Series in computer science ;"', query time: 0.01s Refine Results
  1. 1

    Using Z : specification, refinement and proof / by Woodwock, Jim

    Published 1996
    “…Prentice-Hall international series in computer science…”
    Book
  2. 2

    Applications of formal methods /

    Published 1995
    “…Prentice-Hall international series in computer science…”
    Book