Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 
einige Melodien

products/Sources/formale Sprachen/C/LibreOffice/sd/source/ui/remotecontrol/   (Firefox Browser Version 153.0.1©)  Datei vom 5.10.2025 mit Größe 698 B image not shown  

Quelle  README.txt   Sprache: Text

  

Author: Sten Agerholm




Language Version: vdm10
Entry point     : new SAFERSys().BigTest()
Entry point     : new SAFERSys().HugeTest()

¤ Dauer der Verarbeitung: 0.5 Sekunden  (vorverarbeitet am  2026-10-11) ¤

*© Formatika GbR, Deutschland




Entwurf

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Diese beiden folgenden Angebotsgruppen bietet das Unternehmen

Angebot

Hier finden Sie eine Liste der Produkte des Unternehmens





                                                                                                                                                                                                                                                                                                                                                                                                     

Neuigkeiten

     Aktuelles
     Motto des Tages

letze Version des Elbe Quellennavigators

Jenseits des Üblichen ....

Besucher

Besucher
Statistik
#Sources=1127926
#Domains=2039723