Suggested Topics within your search.
Showing 1 - 6 results of 6 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
    An introduction to formal specification with Z and VDM / Deri Sheppard.
    by Sheppard, Deri
    Published 1994
    Subjects: '; “...Z (computer program language)...”
    Book
    Save to List
    Saved in:
  3. 3
    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:
  4. 4
    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:
  5. 5
    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:
  6. 6
    Formal specification using Z / David Lightfoot.
    by Lightfoot, David
    Published 1991
    Subjects: '; “...Z (computer programming language)...”
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search