Del 14682
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III
Häftad, Engelska, 2024
Del 14683 i serien Lecture Notes in Computer Science
441 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 14681
Del 12971
Foundational Principles of AI Governance and Policy
Ann Fitz-Gerald, Vijay Ganesh, Jatin Nathwani, Maral Niazi, Münür Sacit Herdem
Inbunden
1 269 kr
Del 15696
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel, Marijn Heule
Häftad
441 kr
Del 15697
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel, Marijn Heule
Häftad
441 kr
Del 9593
Del 15698
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel, Marijn Heule
Häftad
441 kr
- Signerad!
Del 11
- Nyhet