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
Computer Science: A Structured Programming Approach Using C
Ksh 19,300.00
Industrial Engineering Applications in Emerging Countries
Ksh 17,100.00
Math Hysteria
Ksh 2,800.00
Fundamentals of Information Systems Interoperability
Ksh 5,400.00
Autowave Plasticity
Ksh 13,700.00
Manufacturing and Engineering Technology (ICMET 2014)
Ksh 62,100.00
