Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 9d7cccc2-032c-4a30-a81b-b8f5d32a44bc |
| isbn | 9783031656330 |
| issn | |
| language | eng |
| physical | XXV, 582 p. 186 illus., 143 illus. in color.online resource. |
| publication | – publisher: Springer Nature Switzerland dateOfPublication: 2024 |
| publishDate | 2024 |
| subjects | |
| title | Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III / edited by Arie Gurfinkel, Vijay Ganesh. [electronic resource] : |
| topic | Software engineering. Artificial intelligence. Algorithms. Software Engineering. Artificial Intelligence. Design and Analysis of Algorithms. |