Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/CodegenPP/Programs/   (Wiener Entwicklungsmethode ©)  Datei vom 13.4.2020 mit Größe 62 B image not shown  

Impressum cases2.simple   Sprache: unbekannt

 
function x() ==
 cases 32:
  31 -> 34,
  others -> 42
 end

[ Seitenstruktur0.4Drucken  etwas mehr zur Ethik  ]