Author: Stephen Goldsack
This example deals with quadilaterals (figures with four
straight lines) and the inheritance between them. A few
basic operations are defined in the respective classes.
This package also illustrates how to make use of C++
code automatically generated using VDMTools.
Language Version: vdm10
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.14Angebot
(Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-06-08)
¤
*Eine klare Vorstellung vom Zielzustand
