Computer Aided Verification (Record no. 92460)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01756nam a2200265Ii 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 221202s xx 000 0 und d |
| 245 #0 - TITLE STATEMENT | |
| Title | Computer Aided Verification |
| 246 ## - VARYING FORM OF TITLE | |
| Title proper/short title | 33rd International Conference, CAV 2021, Virtual Event, July 20:23, 2021, Proceedings, Part I |
| 264 ## - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Name of producer, publisher, distributor, manufacturer | Springer Nature |
| Date of production, publication, distribution, manufacture, or copyright notice | 2021 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (922 pages) |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 490 ## - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science; Theoretical Computer Science and General Issues |
| Volume/sequential designation | 12759 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification. This is an open access book. |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Architecture Verification |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Artificial Intelligence |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Automata Theory |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer Programming |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Distributed Computer Systems |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Leino, K. Rustan M. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Silva, Alexandra |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://docs.google.com/spreadsheets/d/1yKIrdCPDAG_9c22mwoOIO2DOhtj65Wqa/edit?usp=sharing&ouid=106555315294820607512&rtpof=true&sd=true ">https://docs.google.com/spreadsheets/d/1yKIrdCPDAG_9c22mwoOIO2DOhtj65Wqa/edit?usp=sharing&ouid=106555315294820607512&rtpof=true&sd=true </a> |
| Link text | List of Curated E-Books |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | E-Book |
No items available.