objectz – Macros for typesetting Object Z
The package will typeset both Z and Object-Z specifications; it develops the original zed package
Quellen | /macros/latex/contrib/objectz |
Dokumentation | |
Lizenzen | The LaTeX Project Public License |
Copyright | 1995–1999 Sebastian Rahtz |
Betreuer | David Leadbetter (inaktiv) Sebastian Rahtz (verstorben) |
Enthalten in | TeX Live als objectz MiKTeX als objectz |
Themen | Formale Spezifikation |
Siehe auch | zed-csp |
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (275.5k).
Vorschläge
Vielleicht sind auch die folgenden Pakete von Interesse.
Bewertungskommentare