Isbn: 9783031986819 - computer aided verification: 37th international conference, cav 2025, zagreb, croatia, july 23-25, 2025, proceedings, part iii (lecture notes in computer science, band 15933) (3 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.

Taschenbuch. Zustand: Neu. Computer Aided Verification | 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III | Ruzica Piskac (u. a.) | Taschenbuch | xxvii | Englisch | 2025 | Springer | EAN 9783031986819 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…