| products/Sources/formale Sprachen/C/LibreOffice/setup_native/ (LibreOffice Version 25.8.3.2©) Datei vom 5.10.2025 mit Größe 1 kB |
|
Quelle mathematics.vdmppSprache: VDM |
|||||||||||||||
|
class Mathematics values pi: real = 3.14 types Angle = real inv a == a >= 0 and a <= 2*pi functions acos (x: real) res: Angle post inv_Angle (res); sqrt (r: real) res: real post res**2 = r end Mathematics
¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-06-08) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-08-25