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
Pearson Edexcel AS and A level Mathematics Pure Mathematics Year 2 Practice Book
Ksh 2,700.00
CALL: Media, Design & Applications
Ksh 30,600.00
A Treatise on Gunters Scale, and the Sliding Rule: Together With a Description and Use, of the Sector, Protractor, Plain Scale, and Line of Chords (Classic Reprint)
Ksh 2,150.00
Reaching Your New Digital Heights
Ksh 9,200.00
Design Leadership
Ksh 5,750.00
Design for Six Sigma
Ksh 9,450.00
