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
Design Thinking Research
Ksh 16,200.00
Advances in Materials Science and Engineering
Ksh 30,600.00
Deconstructing Large Language Models
Ksh 35,300.00
Elementary Technical Mathematics
Ksh 14,200.00
MEI A Level Further Mathematics Core Year 2 4th Edition
Ksh 6,600.00
Virtual Material Acquisition and Representation for Computer Graphics
Ksh 6,300.00
