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: release-procedure.txt   Sprache: Text

Haftungsausschluß.arg KontaktMT940 {MT940[1036] BAT[1270] Ada[1457]}diese Dinge liegen außhalb unserer Verantwortung

mk_(5000 ,[mk_(<PULSE>,<ATRIA> ,2 ,1000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,1150),
mk_(<PULSE>,<ATRIA> ,2 ,2000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,2150) ,
mk_(<PULSE>,<ATRIA> ,2 ,3000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,3150) ,
mk_(<PULSE>,<ATRIA> ,2 ,4000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,4150) ,
mk_(<PULSE>,<ATRIA> ,2 ,5000) ] )

[ Seitenstruktur0.145Drucken  ]