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
Numerical Methods and Methods of Approximation in Science and Engineering
Ksh 29,700.00
Euro-Par 2015: Parallel Processing
Ksh 8,100.00
Readings in Innovative Ideas in Teaching Collegiate Mathematics
Ksh 10,650.00
Intelligent Support for Computer Science Education
Ksh 9,000.00
Thinking-Driven Testing
Ksh 8,100.00
Recent Advances in Design & Usage of Pressure Vessels & Piping Components
Ksh 35,100.00
