Leveraging Applications of Formal Methods, Verification, and Validation | Kaicus Deutschland

Leveraging Applications of Formal Methods, Verification, and Validation

53.49 EUR

Dieses Buch erkundet formale Methoden als Grundlage für sichere Software, verbindet theoretische Modelle mit realen Fallstudien aus Industrie und Forschung und zeigt, wie Verifikation und Validierung systematisch Fehler reduzieren.

Marke: Anna-Lena Lamprecht
ISBN: 331951640X