products/sources/formale sprachen/C/Lyx/lib/reLyX image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Outcome.pvs   Sprache: Unknown

Outcome : DATATYPE
BEGIN

  IMPORTING list[real]

  IsTrue : istrue?

  Counterexample(counterexample:(cons?)) : isfalse?

  Unknown : unknown?

END Outcome

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