| products/Sources/formale Sprachen/PVS/sigma_set/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 584 B |
|
Quellcode-Bibliothek OutBoxes.pvs Sprache: PVS |
|||||||||
|
OutBoxes[n:posnat] : DATATYPE
BEGIN IMPORTING boxes_def UnknownBox : unknown_box? FullBox : full_box? EmptyBox : empty_box? Output(boxes:Boxes(n)) : boxes? END OutBoxes ¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.9Bemerkung: (vorverarbeitet) ¤*Bot Zugriff |
|
