Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
2019 ed.
Book Details
Delivery Location
Delivery fee: Select location
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.
The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Get Model Checking Software by Axel Legay at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has 261 pages.
Customers Who Bought This Also Bought
Machine Learning with Python
KSh 14,750.00
Numerical Analysis
KSh 14,150.00
Numerical Nonsmooth Optimization
KSh 28,800.00
Cryptographic Engineering
KSh 39,600.00
Computability and Complexity Theory
KSh 13,500.00
Randomized Algorithms
KSh 14,650.00
Stochastic Approximation and Recursive Algorithms and Applications
KSh 32,400.00
Information Processing and Management of Uncertainty in Knowledge-Based Systems
KSh 19,800.00
Small Summaries for Big Data
KSh 9,550.00
Skew PBW Extensions
KSh 19,800.00
Handbook of Approximation Algorithms and Metaheuristics
KSh 10,500.00
Applications of Flower Pollination Algorithm and its Variants
KSh 23,400.00
