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

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

Price
HK$ 231
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 6 - 10

Our customers say:

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

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  

Mere med samme udgiver

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