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:
| ISBN: | 9783030532871 |
| Publication date: | 16th July 2020 |
| Author: | Shuvendu K Lahiri |
| Publisher: | Springer Nature Switzerland AG |
| Format: | Paperback |
| Pagination: | 669 pages |
| Series: | Theoretical Computer Science and General Issues |
| Genres: |
Software Engineering Mathematical theory of computation Computer hardware Artificial intelligence Network hardware |
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.
Computer Aided Verification features in the following genres: Software Engineering, Mathematical theory of computation, Computer hardware, Artificial intelligence, Network hardware
Paperback. £31.49, down from the £34.99 cover price. Not Available.
Computer Aided Verification was written by Shuvendu K Lahiri and published by Springer Nature Switzerland AG
Computer Aided Verification has 669 pages
Yes it is part of Theoretical Computer Science and General Issues series
£31.49, reduced from £34.99. Not Available.