vdm – Typesetting VDM schemas
The package conforms to the BSI concrete syntax for VDM, and enables the user to concentrate on VDM specifications rather than typesetting format. Note that it does not cover the whole of BSI VDM.
Quellen | /macros/latex/contrib/vdm |
Dokumentation | |
Version | 4.00 |
Betreuer | Mario Wolczko |
Enthalten in | MiKTeX als vdm |
Themen | Formale Spezifikation |
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (189.2k).
Vorschläge
Vielleicht sind auch die folgenden Pakete von Interesse.
Bewertungskommentare