Isbn: 9783031986840 - computer aided verification: 37th international conference, cav 2025, zagreb, croatia, july 23-25, 2025, proceedings, part iv (lecture notes in computer science, band 15934) (2 Ergebnisse)

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed and selected from 305 submissions.The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems. …

Paperback. Zustand: Brand New. 500 pages. 9.25x6.10x9.21 inches. In Stock.