Das Handbuch soll die Einarbeitung in die Programmierung mit VDM ermöglichen, aber auch der erfahrenen Anwenderin noch nutzbringend sein. Dazu ist zunächst ein umfangreicher, ausführlicher Einarbeitung Einarbeitungsteil vorhanden, den Sie zum Kennenlernen von VDM möglichst von vorn nach hinten durchlesen sollten. Im einzelnen werden folgende Aspekte behandelt (in den entsprechenden Kapiteln):
Der Anhang stellt eine Referenz Referenz dar, also eine kurze, vollständige Zusammenfassung bestimmter Themen von VDM: Eine Definition der DSL-Syntax, eine Gesamtübersicht über die abstrakten Datentypen und ihre Operationen und eine Beschreibung der verfügbaren Implementationen. Ein Verzeichnis der Abbildungen folgt. Ein Glossar erklärt an zentraler Stelle die wichtigen Begriffe, für die eiligen Leserinnen ist ein umfassender Index vorhanden.