| products/Sources/formale Sprachen/VDM/VDMPP/MSAWseqPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 3 kB |
|
SSL metric_def.prf
Interaktion und |
|||||||||
|
(metric_def
(metric_TCC1 0 (metric_TCC1-1 nil 3359138092 ("" (grind) nil nil) ((discrete_metric const-decl "[nnreal]" metric_def nil) (metric_zero? const-decl "bool" metric_def nil) (metric_symmetric? const-decl "bool" metric_def nil) (metric_triangle? const-decl "bool" metric_def nil) (metric? const-decl "bool" metric_def nil)) shostak)) (discrete_metric_is_metric 0 (discrete_metric_is_metric-1 nil 3359138096 ("" (grind) nil nil) ((discrete_metric const-decl "[nnreal]" metric_def nil) (metric_zero? const-decl "bool" metric_def nil) (metric_symmetric? const-decl "bool" metric_def nil) (metric_triangle? const-decl "bool" metric_def nil) (metric? const-decl "bool" metric_def nil)) shostak))) ¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.2Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤*Eine klare Vorstellung vom Zielzustand |
|
2026-03-28