products/Sources/formale Sprachen/VDM/VDMRT/VeMoRT/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: graph.scala   Sprache: Text

Original von: VDM©
Author: Sten Agerholm




Language Version: vdm10
Entry point     : new SAFERSys().BigTest()
Entry point     : new SAFERSys().HugeTest()

¤ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ¤



Druckansicht
unsichere Verbindung
Druckansicht
sprechenden Kalenders

in der Quellcodebibliothek suchen




Laden

Fehler beim Verzeichnis:


in der Quellcodebibliothek suchen

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff