Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
remainder_sequence.prf
Sprache: Text
|
Author: John Fitzgerald
This VDM++ model is a direct transformation from the
VDM-SL model presented in the Fitzgerald&Larsen98 book
on VDM-SL. The tracker takes care of monitoring and
controlling the nuclear material in a plant that takes
care of processing such waste material.
Language Version: vdm10
[ Verzeichnis aufwärts0.0unsichere Verbindung
Übersetzung europäischer Sprachen durch Browser
]
|
