products/sources/formale sprachen/PVS/graphs/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: sort_fseq_lems.pvs   Sprache: Coq

Untersuchung Coq©
(* Check for redundant clauses *)

Fail Check
  (fun x =>
   match x, x with
   | O, S (S y) => true
   | S _, S (S y) => true
   | _, S (S x) => false
   | S y, O => true
   | _, _ => true
   end).

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.0Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤



Kontakt
Drucken
Kontakt
Hier finden Sie eine Liste der Produkte des Unternehmens

Eigene Datei ansehen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff