Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security - Synthesis Lectures on Software Engineering - Corina S. Pasareanu - Bøger - Springer International Publishing AG - 9783031014239 - 13. maj 2020
Ved uoverensstemmelse mellem cover og titel gælder titel

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security - Synthesis Lectures on Software Engineering

Corina S. Pasareanu

Pris
NOK 369

Bestilles fra fjernlager

Forventes klar til forsendelse 29. jul. - 4. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security - Synthesis Lectures on Software Engineering

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.

65 pages, IX, 65 p.; IX, 65 p.

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 13. maj 2020
ISBN13 9783031014239
Forlag Springer International Publishing AG
Antal sider 65
Mål 191 × 235 × 4 mm   ·   165 g
Sprog Engelsk  

Se alt med Corina S. Pasareanu ( f.eks. Paperback Bog )