Vorbemerkungen VDM Tutor Die Implementationsbeschreibungen

Die VDM-Basistypen

 

• Speicherverwaltung
• Generelle Operationen
• Elementare Datentypen
• Sets
• Tuples
• Maps
• Optionals
• Trees
• Unions