Produktbild: Computer Aided Verification

Computer Aided Verification

Lieferzeit: Lieferbar innerhalb 14 Tagen

42,79 €

inkl. 7 % MwSt. zzgl. Versandkosten

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27,2024, Proceedings, Part III, Lecture Notes in Computer Science 14683

ISBN: 3031656326
ISBN 13: 9783031656323
Herausgeber: Arie Gurfinkel/Vijay Ganesh
Verlag: Springer Verlag GmbH
Umfang: xxv, 582 S., 43 s/w Illustr., 143 farbige Illustr., 582 p. 186 illus., 143 illus. in color.
Erscheinungsdatum: 26.07.2024
Auflage: 1/2024
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 3822738 Kategorie:

Beschreibung

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.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …