Computer Aided Verification

Vijay Ganesh

ISBN 10: 3031656261 / ISBN 13: 9783031656262

Edité par Springer Nature Switzerland, Springer Nature Switzerland Jul 2024, 2024

A propos de cet article

Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

N° de réf. du vendeur 9783031656262

Détails bibliographiques

• Titre: Computer Aided Verification
• Éditeur: Springer Nature Switzerland, Springer Nature Switzerland Jul 2024
• Date de parution: 2024
• Langue: anglais
• ISBN à 10 chiffres: 3031656261
• ISBN à 13 chiffres: 9783031656262
• Reliure: Taschenbuch
• État de l'article: Neu

A propos de ce titre

Synopsis

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.