EAN: 9780857290175

Bilder-Quelle: discount24.de - Sport-Freizeit

This text is a self-contained introduction to program verification using logic-based methods presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite.

Produktinformationen zuletzt aktualisiert am
10.11.2025 um 16:30 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis: