Authors: J. Spivey

  • 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