Bücher ab 0.99 € - jetzt zugreifen

Bücher ab 0.99 € - jetzt zugreifen

Securing the System: Formal Methods for Error-Free Software

DE (Sprache: Englisch)
Autor: Naviya
 
 
Merken
Merken
 
 
"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...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 155203433

Buch (Kartoniert) 28.39
Jetzt vorbestellen
  • Lastschrift, Kreditkarte, Paypal, Rechnung
  • Kostenlose Rücksendung
 
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
 
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
Kommentar zu "Securing the System: Formal Methods for Error-Free Software"
 
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
 
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
0 Gebrauchte Artikel zu „Securing the System: Formal Methods for Error-Free Software“
Zustand Preis Porto Zahlung Verkäufer Rating