Building Bulletproof Software: The Power o...

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

28,59 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

"Building Bulletproof Software" dives into the concept of formal verification, an advanced technique for guaranteeing software reliability. Unlike traditional testing methods that uncover some bugs, formal verification uses mathematical proofs to ensure software always behaves as intended. This book explains how this method can dramatically improve software quality by finding critical errors that testing might miss. By utilizing formal verification, you can launch software faster with more confidence, reduce development costs through earlier bug detection, and build a strong foundation for complex updates.

Details

Fachbereich:	EDV
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
ISBN-13:	9783384257123
ISBN-10:	338425712X
Sprache:	Englisch
Autor:	Matt
Hersteller:	tredition
Verantwortliche Person für die EU:	preigu, Ansas Meyer, Lengericher Landstr. 19, D-49078 Osnabrück, mail@preigu.de
Maße:	8 x 155 x 234 mm
Von/Mit:	Matt
Erscheinungsdatum:	11.06.2024
Gewicht:	0,214 kg

Artikel-ID: 129431332

Details

Fachbereich:	EDV
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
ISBN-13:	9783384257123
ISBN-10:	338425712X
Sprache:	Englisch
Autor:	Matt
Hersteller:	tredition
Verantwortliche Person für die EU:	preigu, Ansas Meyer, Lengericher Landstr. 19, D-49078 Osnabrück, mail@preigu.de
Maße:	8 x 155 x 234 mm
Von/Mit:	Matt
Erscheinungsdatum:	11.06.2024
Gewicht:	0,214 kg