| products/sources/formale Sprachen/Isabelle/Doc/Logics_ZF/document/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: ColorDialog.dcu Sprache: VDMUntersuchung Isabelle© |
|
||||||
|
#!/usr/bin/env bash
set -e FORMAT="$1" VARIANT="$2" isabelle logo ZF "$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT" ¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.0Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤ |
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
ZieleEntwicklung einer Software für die statische QuellcodeanalyseBot Zugriff |
