Suggested Topics within your search.
Showing 1 - 4 results of 4 for search '"Z (Computer program language)"' Refine Results
  1. 1
    The way of Z : practical programming with formal methods / Jonathan Jacky.
    by Jacky, Jonathan
    Published 1997
    Subjects: '; “...Z (Computer program language)...”
    Book
    Save to List
    Saved in:
  2. 2
    Using Z : specification, refinement, and proof / Jim Woodcock and Jim Davies.
    by Woodcock, Jim
    Published 1996
    Subjects: '; “...Z (Computer program language)...”
    Book
    Save to List
    Saved in:
  3. 3
    Understanding Z : a specification language and its formal semantics / J. M. Spivey.
    by Spivey, J. M.
    Published 2008
    Subjects: '; “...Z (Computer program language)...”
    Book
    Save to List
    Saved in:
  4. 4
    ZB 2000 : formal specification and development in Z and B : first international conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings / Jonathan P. Bowen ... [et al.] (eds.).
    Published 2000
    Subjects: '; “...Z (Computer program language) Congresses...”
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search