Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings (Theoretical Computer Science and General Issues)
4.8 (115 items)
Limited Time SaleUS$28.44 cheaper than the new price!!
Free cash-on-delivery fees for purchases over $99
Product details
| Management number | 232087260 | Release Date | 2026/06/18 | List Price | US$18.96 | Model Number | 232087260 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| ISBN10 | 3030309223 |
|---|---|
| ISBN13 | 978-3030309220 |
| Edition | 1st ed. 2019 |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 0.62 x 9.25 inches |
| Item Weight | 13.6 ounces |
| Print length | 272 pages |
| Publication date | September 14, 2019 |
Bestseller ranking
Computer Design
Customers who viewed this product also viewed
Ugly Stik Fishing Rod & Reel Combos
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form