products/sources/formale sprachen/VDM/VDMPP/TempoCollaborativePP/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Commutative_Ring_Ex.thy   Sprache: Unknown

class Test17

operations

public Test : () ==> ()
Test () == new World("tests/scenarioSometimesHeart.arg",<AOO>).Run()
;
end Test17

[ Verzeichnis aufwärts0.1unsichere Verbindung  Übersetzung europäischer Sprachen durch Browser  ]