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

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: BeatlesBirthday.wav   Sprache: Unknown

Untersuchungsergebnis.arg Download desMT940 {MT940[2976] Haskell[3482] BAT[3508]}zum Wurzelverzeichnis wechseln

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)])

[ zur Elbe Produktseite wechseln0.62Quellennavigators  ]