10% OFF

Symbolic Execution And Quantitative Reasoning

Applications To Software Safety And Security

by Corina S. Pasareanu
language: english
Publisher: Springer International Publishing AG, May of 2020 ‧
31,08€
10% OFF CARD
free shipping
Sell ​​your book
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.

Symbolic Execution And Quantitative Reasoning

Applications To Software Safety And Security

by Corina S. Pasareanu

Property Description
ISBN: 9783031014239
Publisher: Springer International Publishing AG
Release Date: May of 2020
Language: English
Dimensions: 191 x 235 x 20 mm
Cover: Softcover
Pages: 65
Format: Book
Collection: Synthesis Lectures On Software Engineering
Categories: Books in English > Science > Mathematics
Books in English > Others
EAN: 9783031014239

BOOKS FROM THE SAME COLLECTION