Symbolic Execution and Quantitative Reasoning : Applications to Software Safety and Security
Book Details
Format
Paperback / Softback
Book Series
Synthesis Lectures on Software Engineering
ISBN-10
3031014235
ISBN-13
9783031014239
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
May 13th, 2020
Print length
65 Pages
Product Classification:
MathematicsEngineering: generalSoftware EngineeringComputer science
AI Summary
Ksh 4,150.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
Get Symbolic Execution and Quantitative Reasoning by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
Discover books you might love based on this title.
More in This Genre
Modelling with Ordinary Differential Equations
Ksh 9,500.00
Transportation and Mobility Technology Futures
Ksh 7,650.00
Wireless Data Services
Ksh 24,100.00
Production Kubernetes
Ksh 11,500.00
Reversible Computation: Extending Horizons of Computing
Ksh 6,300.00
Building Construction and Drawing 1906
Ksh 6,550.00
