Quellverzeichnis products/sources/formale Sprachen/Cobol/verschiedene-Autoren/

AbsInt-Group     Adamek     Apt-Olderog     Ariane5 Giese     Bauer F.L     Bell-Labs     Berg-Franta     Bergeretti-Carre     CICS     Cobclean     Cobug     Cousot     Dahl     Deutsche-Bank     Die-Zeit     Dueck     Ebbinghaus     FME2008     Fenton-Software-Metrics     Fraunhofer     Gaehde     Gannod-Cheng     Gardner     Gluschkow     Goedel     Goguen-Malcolm     Gries     HTWK-Leipzig     Herold Lurz Wohlrab     Hoffmann     IBM     IBM-objektorientiert     IX-Magazin     Isabelle Beweissystem Isabelle     Jens     Jones     Judson-McClendon     Key-Projekt     Kleene     Kowalk     Kurioses     Leutbecher     Loecks     MQ-Series     Marie-Laure Potet     MathWorks     Mindcracker     Nicolovius     Nissim-Francez     Nist.gov     Nowottny-Matlab     Petri-Nets     Pillhofer     Pomberger     Rainers-Beispiele     Randy Lejeune     Rechenberg-Romberger     Riemann     Roggero-Lanotte     Sedgewick-Algorithmen Sedgwicks Aloorithms     SemDesigns     Spiele     Spillner-Linz     Springer     Stauffer-Stanley     Verify-07     Winskel     Wirth     Zing-COBOL

Wurzel Suchen Beweissystem der NASA Beweissystem Isabelle NIST Cobol Testsuite Cephes Mathematical Library Wiener Entwicklungsmethode Haftungshinweis 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. Bemerkung: Die farbliche Syntaxdarstellung ist noch experimentell.