Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Securing the System: Formal Methods for Error-Free Software

-15% su kodu: ENG15
34,72 
Įprasta kaina: 40,85 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
34,72 
Įprasta kaina: 40,85 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
2025-02-28 40.8500 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 20,00 

Knygos aprašymas

"Securing the System" delves into formal methods, a rigorous approach to crafting software free from errors and vulnerabilities. Unlike traditional testing that identifies some bugs, formal methods use the power of mathematics to prove a system behaves exactly as designed. This book explores how formal methods can revolutionize software security by mathematically guaranteeing the absence of critical flaws. By mastering these techniques, you'll build secure systems resistant to cyberattacks, fostering trust and reliability in your software.

Informacija

Autorius: Naviya
Leidėjas: tredition
Išleidimo metai: 2024
Knygos puslapių skaičius: 120
ISBN-10: 3384267893
ISBN-13: 9783384267894
Formatas: 234 x 155 x 9 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Securing the System: Formal Methods for Error-Free Software“

Būtina įvertinti prekę