Pages that link to "Z notation"
The following pages link to Z notation:
Displaying 13 items.
- Pseudocode (← links | edit)
- Troff (← links | edit)
- Zed notation (redirect page) (← links | edit)
- Tony Hoare (← links | edit)
- Bracket (← links | edit)
- Index of computing articles (← links | edit)
- Specification language (← links | edit)
- Z specification language (redirect page) (← links | edit)
- Z++ (← links | edit)
- Interpunct (← links | edit)
- Formal methods (← links | edit)
- HOL (proof assistant) (← links | edit)
- Xi (letter) (← links | edit)