Articoli correlati a Automated Technology for Verification and Analysis:...
Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I: ... October 21–25, 2024, Proceedings: 15054 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 122,45
EUR 7,67 per la spedizione in U.S.A.
Destinazione, tempi e costiRisultati della ricerca per Automated Technology for Verification and Analysis:...
Foto dell'editore
Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
Da: Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783031787089
Quantità: 2 disponibili
Foto dell'editore
Automated Technology for Verification and Analysis (Paperback)
Editore:
Springer International Publishing AG, Cham, 2025
ISBN 10: 3031787080
ISBN 13: 9783031787089
Nuovo
Paperback
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783031787089
Quantità: 1 disponibili
Foto dell'editore
Automated Technology for Verification and Analysis
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo S0-9783031787089
Quantità: 1 disponibili
Foto dell'editore
Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783031787089
Quantità: Più di 20 disponibili
Foto dell'editore
Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783031787089_new
Quantità: Più di 20 disponibili
Foto dell'editore
Automated Technology for Verification and Analysis: 22nd International Symposium, Atva 2024, Kyoto, Japan, October 2125, 2024, Proceedings
Editore:
Springer-Nature New York Inc, 2025
ISBN 10: 3031787080
ISBN 13: 9783031787089
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 324 pages. 9.25x6.10x9.21 inches. In Stock. This item is printed on demand. Codice articolo __3031787080
Quantità: 1 disponibili
Immagini fornite dal venditore
Automated Technology for Verification and Analysis
Editore:
Springer, Berlin, Springer Nature Switzerland, Springer, 2025
ISBN 10: 3031787080
ISBN 13: 9783031787089
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 volumesare 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. 304 pp. Englisch. Codice articolo 9783031787089
Quantità: 2 disponibili
Foto dell'editore
Automated Technology for Verification and Analysis (Paperback)
Editore:
Springer International Publishing AG, Cham, 2025
ISBN 10: 3031787080
ISBN 13: 9783031787089
Nuovo
Paperback
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. 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. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9783031787089
Quantità: 1 disponibili
Immagini fornite dal venditore
Automated Technology for Verification and Analysis
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Codice articolo 1942417399
Quantità: Più di 20 disponibili
Foto dell'editore
Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21?25, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 26403504851
Quantità: 4 disponibili