Verzeichnis macros/latex/contrib/zed-csp
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (242.7k).
zed-csp – Typesetting Z and CSP format specifications
The package supports real-time CSP and incorporates the functionality of Spivey's original Z package, written for LaTeX 2.09.
Paket | zed-csp |
Lizenzen | Free license not otherwise listed |
Copyright | 1995 Jim Davies |
Betreuer | Jim Davies Mike Spivey |
Enthalten in | TeX Live als zed-csp MiKTeX als zed-csp |
Themen | Formale Spezifikation |
Siehe auch | objectz |