Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III için kapak resmi
Başlık:
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
Yazar:
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792
ISBN:
9783031656330
Basım Bilgisi:
1st ed. 2024.
Fiziksel Tanımlama:
XXV, 582 p. 186 illus., 143 illus. in color. online resource.
Seri:
Lecture Notes in Computer Science, 14683
Özet:
This open access 3-volume set 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.
Tüzel Kişi Ek Girişi:
Ayırtma:
Kopya:

Rafta:*

Kütüphane
Materyal Türü
Demirbaş Numarası
Yer Numarası
Durumu/İade Tarihi
Materyal Ayırtma
Arıyor...
E-Kitap 604437-1001 ONLINE
Arıyor...

On Order