Computer Aided Verification Computer Aided Verification

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I

Arie Gurfinkel و Vijay Ganesh

وصف الناشر

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.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٤
٢٥ يوليو
اللغة
EN
الإنجليزية
عدد الصفحات
٥٣١
الناشر
Springer Nature Switzerland
البائع
Springer Nature B.V.
الحجم
٤٨٫٦
‫م.ب.‬

المزيد من كتب Arie Gurfinkel & Vijay Ganesh

Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
٢٠٢٥
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
٢٠٢٥
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
٢٠٢٥
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠٢٤
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠٢٤
Verified Software: Theories, Tools, and Experiments Verified Software: Theories, Tools, and Experiments
Verified Software: Theories, Tools, and Experiments
٢٠١٦