The top documents tagged [z integers]
Formal modeling with Z
3.937 views
Chapter 1 Functions Relations V3
4.640 views
8.5 Equivalence Relations
71 views