Liebe Besucherinnen und Besucher,

aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.

Ihr Team von Sack Fachmedien

Akshay / Niemetz / Sankaranarayanan | Automated Technology for Verification and Analysis | Buch | 978-3-031-78708-9 | www.sack.de

Buch, Englisch, Band 15054, 304 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 493 g

Reihe: Lecture Notes in Computer Science

Akshay / Niemetz / Sankaranarayanan

Automated Technology for Verification and Analysis

22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Erscheinungsjahr 2025
ISBN: 978-3-031-78708-9
Verlag: Springer

22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Buch, Englisch, Band 15054, 304 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 493 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-031-78708-9
Verlag: Springer

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.

The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections:

Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis.

Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification. 

Akshay / Niemetz / Sankaranarayanan Automated Technology for Verification and Analysis jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Akshay, S.
Niemetz, Aina
Sankaranarayanan, Sriram

Fachgebiete

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.