Tag: Z (COMPUTER PROGRAM LANGUAGE)

  • Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series) — John Wordsworth

    Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series) — John Wordsworth

  • The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science) — J. Spivey

    The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science) — J. Spivey