Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

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: canonical-structures.rst   Sprache: Unknown

Untersuchungsergebnis.simple Download desBAT {BAT[138] Abap[211] [0]}zum Wurzelverzeichnis wechseln

function x() ==
 if 10=8 then
  32
 else if 41 = 42 then
  33
 else if 2 = 2 then
  42
 else
  31

[ zur Elbe Produktseite wechseln0.83Quellennavigators  ]

                                                                                                                                                                                                                                                                                                                                                                                                     

Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder
Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik