Oakleafbooks Online Library -- A Global Books Research Catalogue
And a Bookstore - We deliver Worldwide

You must enter a search term!
Browse Subject Headings
Publications written by: Gurfinkel, Arie
Filter on:
Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
9783031656293
Published: 2024
$ 68.99  
Browse Subject Headings