Zum Inhalt springen

Es konnten keine Suchergebnisse für " Schlagwort: "Sicherheitskritisches System" "Statische Analyse" "Program Slicing" "Korrektheit" "Verifikation" "Isabelle" "Kontrollflussdiagramm" "Abhängigkeitsgraph" "Formale Semantik" – " gefunden werden.

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.