Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 2427, 2024, Proceedings, Part I | 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_Pre-order
Language_English
PA=Not yet available
Price_€20 to €50
PS=Active
softlaunch

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

★★★★★
★★★★★

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_Pre-orderLanguage_EnglishPA=Not yet availablePrice_€20 to €50PS=Activesoftlaunch

Will deliver when available. Publication date 16 Aug 2024

Product Details
  • Dimensions: 155 x 235mm
  • Publication Date: 26 Jul 2024
  • Publisher: Springer International Publishing AG
  • Publication City/Country: Switzerland
  • Language: English
  • ISBN13: 9783031656262

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