Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science Book 12224)
Product details
| Management number | 233423546 | Release Date | 2026/06/27 | List Price | US$90.00 | Model Number | 233423546 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.Part II: model checking; software verification; stochastic systems; and synthesis.*The conference was held virtually due to the COVID-19 pandemic. Read more
| ASIN | B08D7Y7TCX |
|---|---|
| XRay | Not Enabled |
| ISBN13 | 978-3030532888 |
| Edition | 1st ed. 2020 |
| Language | English |
| File size | 116.1 MB |
| Page Flip | Enabled |
| Publisher | Springer |
| Word Wise | Not Enabled |
| Print length | 1302 pages |
| Accessibility | Learn more |
| Publication date | July 15, 2020 |
| Enhanced typesetting | Enabled |
Bestseller ranking
Headwear
Customers who viewed this product also viewed
Lions, Tigers & Leopards
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