Summary goes here
Wedi'i Gadw mewn:
| Fformat: | Llyfr |
|---|---|
| Iaith: | Saesneg |
| Pynciau: | |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 70e3b56b-8f42-48d2-be2a-e1fc2470546c |
| isbn | 9783031656279 |
| issn | |
| language | eng |
| physical | XXXIII, 498 p. 133 illus., 110 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 I / edited by Arie Gurfinkel, Vijay Ganesh. [electronic resource] : |
| topic | Software engineering. Artificial intelligence. Algorithms. Software Engineering. Artificial Intelligence. Design and Analysis of Algorithms. |