Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security - Synthesis Lectures on Software Engineering - Corina S. Pasareanu - Books - Springer International Publishing AG - 9783031014239 - May 13, 2020
In case cover and title do not match, the title is correct

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

Corina S. Pasareanu

Price
Kč 655

Ordered from remote warehouse

Expected delivery Jul 31 - Aug 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released May 13, 2020
ISBN13 9783031014239
Publishers Springer International Publishing AG
Pages 65
Dimensions 191 × 235 × 4 mm   ·   165 g
Language English  

See all of Corina S. Pasareanu ( e.g. Paperback Book )