The Pedia - Category:Z notation

Site Navigation

Categories:
Formal methods
Formal specification languages
Logic in computer science
Mathematical notation

These Are Links To Other Documents
category \| Z notation \| Z notation \| Jean-Raymond Abrial \| CICS \| General set theory \| Mondex \| Object-Z \| Set comprehension \| Z User Group \| Z++ \| Zermelo–Fraenkel set theory \| Categories \| Formal methods \| Formal specification languages \| Logic in computer science \| Mathematical notation \|

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Category:Z notation".