Eine aufbereitete Darstellung der Quelle
Stufen
rahmenlose Ansicht
|
Verzeichnis aufwärts
|
Normalansicht
|
Entwicklung
|
Qualitätssicherung
|
Lebenszyklus
|
Steuerung
Ziele
Untersuchung
mit Columbo
Integrität von
Datenbanken
Interaktion und
Portierbarkeit
Ergonomie der
Schnittstellen
Angebot
Produkte
Projekt
Beratung
Mittel
Analytik
Modellierung
Sprachen
Algebra
Logik
Hardware
Denken
Kreativität
Zusammenhänge
Gesellschaft
Wirtschaft
Branche
Firma
Benutzer
Quellcodebibliothek
Statistik
Leitseite
products
/
Sources
/
formale Sprachen
/
COBOL
/
verschiedene-Autoren
/ (
PVS Prover
Version 6.0.9
©
)
Impressumproducts/Sources/formale Sprachen/COBOL/verschiedene-Autoren/
AbsInt-Group
Adamek
Apt-Olderog
Ariane5 Giese
Bauer F.L
Bell-Labs
Berg-Franta
Bergeretti-Carre
Brauer
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
Isabelle Prover
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
Entwurf
Ziele
PVS Prover
Isabelle Prover
NIST Cobol Testsuite
Cephes Mathematical Library
Vienna Development Method
Ergonomie der
Schnittstellen
Diese beiden folgenden Angebotsgruppen bietet das Unternehmen
Angebot
Hier finden Sie eine Liste der Produkte des Unternehmens
2026-07-09
Neuigkeiten
Aktuelles
Motto des Tages
Software
Quellcodebibliothek
Eigene Quellcodes
Fremde Quellcodes
Suchen
Aktivitäten
Artikel über Sicherheit
Anleitung zur Aktivierung von SSL
Muße
Gedichte
Musik
Bilder
Jenseits des Üblichen ....
Besucherstatistik
Impressum
|
Ethik und Gesetz
|
Haftungsausschluß
|
Kontakt
|
Seitenstruktur
|
©
2026 JDD
|
