products/Sources/formale Sprachen/VDM/VDMPP/CodegenPP/Programs/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Radio.vdmrt   Sprache: Unknown

Untersuchungsergebnis.simple Download desDelphi {Delphi[193] Ada[194] Abap[217]}zum Wurzelverzeichnis wechseln

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

[ zur Elbe Produktseite wechseln0.74Quellennavigators  ]