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
14.08.2026 um 04:27 Uhr


Hersteller
-
EAN
9780857290175
MPN
-
ASIN
0857290177
Produktgruppe
-

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
utopio.de - es werden keine Cookies verwendet - Impressum