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.
| Quellen | /macros/latex/contrib/zed-csp |
| Dokumentation | |
| 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 |
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (242.7k).
Vorschläge
Vielleicht sind auch die folgenden Pakete von Interesse.
Bewertungskommentare