Computing and Information Technology, Computer Programming / Software Engineering, Software Engineering
Computer Aided Verification

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

,
Paperback Published on: 26/07/2024
£34.99
UK delivery included
In stock
Print on demand - Usually dispatched within 7-10 days
Make and edit your lists in your account
wordery
has a fantastic rating on
In stock
Print on demand - Usually dispatched within 7-10 days
View other formats and editions
wordery
has a fantastic rating on

Synopsis

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

Publisher information

  • Publisher: Springer Nature Switzerland
  • ISBN: 9783031656323
  • Number of pages: 582
  • Dimensions: 235 x 155 x 31 mm
  • Weight: 844g
  • Languages: English