Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 2427, 2024, Proceedings, Part II | Agenda Bookshop Skip to content
Online orders placed from 19/12 onward will not arrive in time for Christmas.
Online orders placed from 19/12 onward will not arrive in time for Christmas.
Age Group_Uncategorized
Age Group_Uncategorized
automatic-update
B01=Arie Gurfinkel
B01=Vijay Ganesh
Category1=Non-Fiction
Category=UMZ
Category=UYA
Category=UYQ
COP=Switzerland
Delivery_Delivery within 10-20 working days
Language_English
PA=Available
Price_€20 to €50
PS=Active
softlaunch

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 2427, 2024, Proceedings, Part II

★★★★★
★★★★★

English

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 2427, 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.

See more
€41.79
€43.99
Save 5%
Age Group_Uncategorizedautomatic-updateB01=Arie GurfinkelB01=Vijay GaneshCategory1=Non-FictionCategory=UMZCategory=UYACategory=UYQCOP=SwitzerlandDelivery_Delivery within 10-20 working daysLanguage_EnglishPA=AvailablePrice_€20 to €50PS=Activesoftlaunch
Delivery/Collection within 10-20 working days
Product Details
  • Dimensions: 155 x 235mm
  • Publication Date: 25 Jul 2024
  • Publisher: Springer International Publishing AG
  • Publication City/Country: Switzerland
  • Language: English
  • ISBN13: 9783031656293

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept