Pensum -10%
Computer Aided Verification
Ruzica Piskac, Zvonimir Rakamarić
PocketEngelsk
Del av serien Lecture Notes in Computer Science
Hopp til hovedinnholdet
Computer Aided Verification
Redigert av Arie Gurfinkel, Vijay Ganesh, 2024.Del av serien Lecture Notes in Computer Science.
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
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.
PocketEngelsk
Normalpris: 479,-
431,-
Spar 48,-
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
Computer Aided Verification
Redigert av Arie Gurfinkel, Vijay Ganesh, 2024.Del av serien Lecture Notes in Computer Science.
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
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.
Normalpris: 479,-
431,-
Spar 48,-
PocketEngelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
431,-
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
