Search Results - "Z computer program language"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Introduction to formal specification and Z by Potter

    Published 1996
    Subjects: “…Z computer program language…”
    Book
  2. 2

    Using Z specification, refinement, and proof by Woodcock, Jim

    Published 1996
    Subjects: “…Z (Computer program language).…”
    Book