Corina S. Pasareanu Forfatter
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
Viser 1 - 1 af 1 resultat
-
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Bog, Paperback / softback, Engelsk)
This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems.
Levering: Skaffevare (forvent 14 - 30 hverdage)
Viser 1 - 1 af 1 resultat