„Verfikation“

Suchergebnisse

6 Treffer

• Verification of program computations
  Rizkallah, Christine ; Mehlhorn, Kurt 2015 Saarländische Universitäts- und Landesbibliothek
• Value at Risk – Bayesscher Zugang und Verfikation konkreter Probleme anhand von ausgewählten Monte Carlo Methoden ; Value at Risk - Bayesian Approach an the Verification of Concrete Problems Using Selective Monte Carlo Methods
  Kraiger, Björn
• Modulare und kompositionale Verfikation von zustandsendlichen Systemen
  Scholz, Andreas
• Korrekter Entwurf und Verfikation verteilter Systeme – the temporal logic of transitions ; ein unterstützender Rahmen
  Gouverneur, Gerd
• Die Verifikationstheorie und Wittgensteins Gebrauchstheorie der Bedeutung im Vergleich
  2022 GRIN Verlag
• Die Verifikationstheorie und Wittgensteins Gebrauchstheorie der Bedeutung im Vergleich
  2022 GRIN Verlag