Print & Publishing

Securing the System: Formal Methods for Error-Free Software

From Naviya
Softcover
28,39 €
Description
"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 us ...
                        
Details
Book data
  • Edition: 0
  • Publication date: 21.06.2024
  • From Naviya
  • Language: English
Data: Softcover
  • ISBN: 978-3-384-26789-4
  • Pages: 120
  • Dimensions and bleed: 15,5 x 23,4 cm
  • Weight: 214g
  • Production time: 5 Business days
About the author
You might also like