Artículos relacionados 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 II: 15055 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Automated Technology for Verification and Analysis:...
Imagen de archivo
Automated Technology for Verification and Analysis (eng)
Impresión bajo demandaLibrería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: A25UFIJ1DQ
Comprar nuevo
EUR 126,26
Envío por EUR 6,80
Se envía de Italia a Estados Unidos de America
Se envía de Italia a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Automated Technology for Verification and Analysis
Impresión bajo demandaLibrería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. Delivery takes 20-25 days. Print on Demand. Nº de ref. del artículo: POD-389757
Comprar nuevo
EUR 137,45
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 10 disponibles
Imagen del vendedor
Automated Technology for Verification and Analysis
Publicado por
Springer, Berlin, Springer Nature Switzerland, Springer, 2025
ISBN 10: 3031787498
ISBN 13: 9783031787492
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. 276 pp. Englisch. Nº de ref. del artículo: 9783031787492
Comprar nuevo
EUR 160,49
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Automated Technology for Verification and Analysis | 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Automated Technology for Verification and Analysis | 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II | S. Akshay (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2025 | Springer | EAN 9783031787492 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Nº de ref. del artículo: 131545558
Comprar nuevo
EUR 140,10
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen de archivo
Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21?25, 2024, Proceedings, Part II (Lecture Notes in Computer Science, 15055)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: 26403821918
Comprar nuevo
EUR 211,42
Envío por EUR 3,46
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
Automated Technology for Verification and Analysis
Publicado por
Springer, Springer Feb 2025, 2025
ISBN 10: 3031787498
ISBN 13: 9783031787492
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. 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 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 300 pp. Englisch. Nº de ref. del artículo: 9783031787492
Comprar nuevo
EUR 160,49
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Publicado por
Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031787498
ISBN 13: 9783031787492
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9783031787492
Comprar nuevo
EUR 160,49
Envío por EUR 62,26
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21?25, 2024, Proceedings, Part II (Lecture Notes in Computer Science, 15055)
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand. Nº de ref. del artículo: 409365121
Comprar nuevo
EUR 221,41
Envío por EUR 7,60
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21?25, 2024, Proceedings, Part II (Lecture Notes in Computer Science, 15055)
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. PRINT ON DEMAND. Nº de ref. del artículo: 18403821908
Comprar nuevo
EUR 226,28
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles