Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/algebra/   (PVS Prover Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 2 kB image not shown  

Quelle  OutBoxes.pvs  Sprache: unbekannt

  
OutBoxes[n:posnat] : DATATYPE
BEGIN

  IMPORTING boxes_def

  UnknownBox : unknown_box?

  FullBox : full_box?

  EmptyBox : empty_box?

  Output(boxes:Boxes(n)) : boxes?

END OutBoxes

Messung V0.5 in Prozent
C=100 H=100 G=100

[zur Elbe Produktseite wechseln0.2QuellennavigatorsAnalyse erneut starten2026-09-29]