products/sources/formale Sprachen/VDM/VDMPP/PacemakerConcPP/tests/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: gallina-specification-language.rst   Sprache: Unknown

rahmenlose Ansicht.arg DruckansichtMT940 {MT940[2976] Haskell[3482] BAT[3508]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

mk_(5000,[mk_(<PULSE>,<ATRIA>,4,900),mk_(<PULSE>,<VENTRICLE>,4,1150),mk_(<PULSE>,<VENTRICLE>,4,2150),mk_(<PULSE>,<ATRIA>,4,2900),mk_(<PULSE>,<VENTRICLE>,4,4150),mk_(<PULSE>,<ATRIA>,4,4900)])

[ Verzeichnis aufwärts0.46unsichere Verbindung  ]