Die Struktur der VDM-Bibliothek
VDM Tutor
Das Steuerprogramm
Wie Sie bereits in Abschnitt 3.2.4 erfahren haben, sind die VDM-Basistypen zusammen mit ihrer Dokumentation in der VDM-Bibliothek gespeichert. vdminfo ist ein kommandozeilengesteuertes Anfrageprogramm, mit dem Sie auf die Dokumentation zugreifen können, indem Sie es mit entsprechend gewählten Parametern aufrufen, Sie bekommen also Hilfe während der Arbeit am Rechner. Wie Sie mit vdminfo arbeiten, beschreibt dieses Kapitel.