Z book

Files associated with the book Formal Specification and Documentation using Z: A Case Study Approach by Jonathan Bowen, including material for a Z course.

All items (18)

• #
• A
• B
• C
• D
• E
• F
• G
• H
• I
• J
• K
• L
• M
• N
• O
• P
• Q
• R
• S
• T
• U
• V
• W
• X
• Y
• Z
• Other