Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security - Synthesis Lectures on Software Engineering - Corina S. Pasareanu - Bøker - Springer International Publishing AG - 9783031014239 - 13. mai 2020
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Corina S. Pasareanu

Pris
CA$ 40,49

Bestillingsvarer

Forventes levert 30. jul - 7. aug

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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.

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 13. mai 2020
ISBN13 9783031014239
Utgivere Springer International Publishing AG
Antall sider 65
Mål 191 × 235 × 4 mm   ·   165 g
Språk Engelsk  

Se alt med Corina S. Pasareanu ( f.eks. Pocketbok )