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