| products/sources/formale Sprachen/C/Cephes/ldouble/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: subgroups.pvs Sprache: LispUntersuchung PVS© |
|
||||||
|
(monad_def
(monad?_TCC1 0 (monad?_TCC1-1 nil 3301141427 ("" (expand "member") (("" (skosimp) nil nil)) nil) ((member const-decl "bool" sets nil)) shostak)) (monad?_TCC2 0 (monad?_TCC2-1 nil 3301141427 ("" (expand "groupoid?") (("" (expand "star_closed?") (("" (expand "member") (("" (skosimp*) nil nil)) nil)) nil)) nil) ((member const-decl "bool" sets nil) (star_closed? const-decl "bool" groupoid_def nil)) shostak)) (commutative_monad?_TCC1 0 (commutative_monad?_TCC1-1 nil 3301141427 ("" (expand "monad?") (("" (expand "groupoid?") (("" (expand "star_closed?") (("" (expand "member") (("" (skosimp*) nil nil)) nil)) nil)) nil)) nil) ((star_closed? const-decl "bool" groupoid_def nil) (member const-decl "bool" sets nil) (monad? const-decl "bool" monad_def nil)) shostak)) (finite_commutative_monad?_TCC1 0 (finite_commutative_monad?_TCC1-1 nil 3301141427 ("" (expand "finite_monad?") (("" (expand "monad?") (("" (expand "groupoid?") (("" (expand "star_closed?") (("" (expand "member") (("" (skosimp*) nil nil)) nil)) nil)) nil)) nil)) nil) ((monad? const-decl "bool" monad_def nil) (member const-decl "bool" sets nil) (star_closed? const-decl "bool" groupoid_def nil) (finite_monad? const-decl "bool" monad_def nil)) shostak))) ¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.19Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤ |
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.Entwicklung einer Software für die statische QuellcodeanalyseBot Zugriff |
